FIX: "Require Import" fails (camlp5 raises exception when writing stderr)
input-assisting buttons