TSL-to-C conversion (wip)