Cheapass implementation of the Glk API