A small Pratt-type parser