(7 0 nil)
((2 3 #b'0200012000000004 02000010' #("b.tlo") #(usr:put-line)))