sleep.9: Really write PINTERLOCKED in the example.