*operation* void fetch_op_name(char *&oname)
  *traverse*
    *from* Header *to*  Op_name
  *wrapper* Op_name
    *prefix*
    (@
       oname = op_name->get_val();
    @)