Can someone explain semantically what it means in the C standard to say that an operation traps? What is the semantics of a trap in C language terms.