{
{    The purpose of this request is to get a formatted operator action menu
{ from a help module, display it, and obtain the operator choice.  Parameters to
{ be substituted into the menu are supplied via an array of pointers to string,
{ each string representing a particular message parameter.
{
{       OFP$FORMAT_OPERATOR_MENU (SEED_NAME, PARAMETER_NAMES, MESSAGE_PARAMETERS,
{         NUMBER_OF_CHOICES, OPERATOR_CLASS, CHOICE, RESPONSE_STRING, STATUS)
{
{ SEED_NAME: (input) This parameter specifies the name that is to be suffixed
{       with a $ and the name of the natural language to form the name of the
{       help module which contains the requested operator menu template.
{
{ PARAMETER_NAMES: (input) This parameter specifies the list of parameter names
{       that represent the choices in the menu.
{
{ MESSAGE_PARAMETERS: (input) This parameter specifies the items of text to be
{       substituted into the menu according to the parameter substitution
{       formatting codes in the message template.  If NIL is specified for this
{       parameter, all message parameters are considered to be null.  If NIL is
{       specified for any particular element of the array, the corresponding
{       message parameter is considered to be null.
{
{ NUMBER_OF_CHOICES: (input) This parameter specifies the number of choices
{       available on the menu. An operator must respond to the menu with a
{       choice in the range 1 .. number_of_choices.
{
{ OPERATOR_CLASS: (input) This parameter specifies the class of operator
{       allowed to display and respond to the menu. Currently this value
{       must be either ofc$removable_media_operator or ofc$system_operator.
{
{ CHOICE: (output) This parameter specifies the choice selected by the
{       operator.
{
{ RESPONSE_STRING: (output) This parameter specifies the response string,
{       if any, entered by the operator.
{
{ STATUS: (output) This parameter specifies the request status.
{       CONDITIONS:
{
