@(load "txr-case.tl")