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