A parser for `.ctx` files