These macros are used to automatically check the given condition and to return an error object if the condition is not met:
See also Error Types.