They're making me do it!
1. Grab the nearest book.
2. Open the book to page 56.
3. Find the fifth sentence.
4. Post the text of the next seven sentences in your journal along with these instructions.
5. Don't dig for your favourite book, the cool book, or the intellectual one: pick the CLOSEST
The precise way in which the non-determinism inside d_step sequences is resolved is undefined. No goto jumps into or out of d_step sequences are permitted: they will be flagged as errors by the Spin parser. The execution of a d_step sequence may not be interrupted by blocking statements. It is an error if any statement other than the first one (the guard statement) in a d_step is found to be unexecutable. None of the above three restrictions apply to atomic sequences. This means that the keyword d_step can always be replaced with the keyword atomic, but not vice versa. It is safe to embed d_step sequences inside atomic sequences, but the reverse is not allowed.
There, you're enlightened now, huh?
2. Open the book to page 56.
3. Find the fifth sentence.
4. Post the text of the next seven sentences in your journal along with these instructions.
5. Don't dig for your favourite book, the cool book, or the intellectual one: pick the CLOSEST
The precise way in which the non-determinism inside d_step sequences is resolved is undefined. No goto jumps into or out of d_step sequences are permitted: they will be flagged as errors by the Spin parser. The execution of a d_step sequence may not be interrupted by blocking statements. It is an error if any statement other than the first one (the guard statement) in a d_step is found to be unexecutable. None of the above three restrictions apply to atomic sequences. This means that the keyword d_step can always be replaced with the keyword atomic, but not vice versa. It is safe to embed d_step sequences inside atomic sequences, but the reverse is not allowed.
There, you're enlightened now, huh?