5.6.3 gimlify_parameters