export{'num', cast{i16, 12}} c:__pnt{i32} = tup{11,10,9} export{'arr', c}