Frank-Buss formatted C code