Describir: Small mechanization in SWC@scale