(Fframe_parameters, both definitions):