let rec print_field = function [] -> "" | ( s, t )::[] -> s^" : "^(print_c_type t) | ( s, _ )::l -> s^"."^(print_field l)