let () = print_int (42 : Test8_plugin_b.t) let f x = x + 3