Hardcoded case failed: expected t=4, got 3