SE450: Preconditions [40/57]

• Caller attempts to remove message from empty MessageQueue
• What should happen?
• MessageQueue can declare this as an error
• MessageQueue can tolerate call and return dummy value
• What is better?