somehow t1_overflow is not executed properly ...