SKI reference implementation: parsing postfix format