shrink stub functions
make messages look like test declarations
display the error