sig val ast_impl_magic_number : string val ast_intf_magic_number : string end