sig
  val backspace : char
  val tab : char
  val enter : char
  val return : char
  val esc : char
  val delete : char
end