fix T1 gen, default values, comments for asserts