The last token pasting technique worked, so propagate it to the .c