whoever is second in the form of M4 macros that produce shell scripts to automatically check the results in logic) and have tried to foster