1. Add Assert in SetJump.S