appappappiftruexyxappappappiffalsexyyappappappuntilpfxappappappifapppxxappappappuntilpfappfxapp2if0true0false0until0FULL./TRS/higher-order/AotoYam/003.trs