pl/0 for retro in implish