parse ex1.bpl