sig
val
ast_impl_magic_number : string
val
ast_intf_magic_number : string
end