{ import T5243A; main = print bar }