example 1, nonmonadix parser example.