processing `thing #(...)