let () =
  assert (!Test5_plugin_a.x = 1)