Error messages from the miniLock specification.