let header b =
    if Cil.is_default_behavior b then ""
    else ", behavior " ^ b.b_name