Genspio API : EDSL.eprintf

let eprintf fmt l =
  with_redirections (printf fmt l) [
    to_fd (int 1) (int 2);
  ]