don't need to write a syntax extension for TCO anymore