===> Cleaning for tinyx-wscons-0.3