09-ttinterp.c.patch: reformatting