The #error message must match a very specific regexp (see mkdef.pl,