let () = print_int (42 : Test7_interface_only.t)