1 2 3 4 5 6 7 8 9
// [ 548272] Default arguments %module bool_default %inline %{ bool foo(bool x = true) { return !x; } %}