def test_string(prog: String) = {
  val tks = tokenise(prog)
  val ast = Prog.parse_all(tks).head
  ast
}