module A {
textual header "foo.h" { size 13 }
textual header "bar.h" { size 1000 }
textual header "baz.h" { mtime 1 }
}