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