pl0 for retro, written in implish