true_functions.c is now also generated.