Symbol: extract_parameter_int