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