Replace TCCState.set_output_type() with an extra argument to TCCState.__init__