Simplify the code. Consider any slot for Msg3, and check that the TDA fits in a given slot (as before).