We should ensure that the error reporting for various kinds of bad input to the macros looks reasonable.