Is this a sanity check that the macro is working, or is it going be user-facing? (i.e. will malformed input hit this assertion? If so, maybe it could have a better error message?)