let do_plugin () =
  print_endline "hello plugin"

let () = do_plugin ()