src/bindings/lua/lua_platf.cpp

   1 /* Copyright (c) 2010, 2012-2015. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 /* SimGrid Lua bindings                                                     */
   8
   9 #include "lua_private.h"
  10 #include "src/surf/xml/platf_private.hpp"
  11 #include "src/surf/network_interface.hpp"
  12 #include "surf/surf_routing.h"
  13 #include <string.h>
  14 #include <ctype.h>
  15
  16 extern "C" {
  17 #include <lauxlib.h>
  18 }
  19
  20 #include <simgrid/host.h>
  21 #include "src/surf/surf_private.h"
  22
  23 XBT_LOG_NEW_DEFAULT_CATEGORY(lua_platf, "Lua bindings (platform module)");
  24
  25 #define PLATF_MODULE_NAME "simgrid.platf"
  26
  27 /* ********************************************************************************* */
  28 /*                               simgrid.platf API                                   */
  29 /* ********************************************************************************* */
  30
  31 static const luaL_Reg platf_functions[] = {
  32     {"open", console_open},
  33     {"close", console_close},
  34     {"AS_open", console_AS_open},
  35     {"AS_close", console_AS_close},
  36     {"backbone_new", console_add_backbone},
  37     {"host_link_new", console_add_host___link},
  38     {"host_new", console_add_host},
  39     {"link_new", console_add_link},
  40     {"router_new", console_add_router},
  41     {"route_new", console_add_route},
  42     {"ASroute_new", console_add_ASroute},
  43     {NULL, NULL}
  44 };
  45
  46 int console_open(lua_State *L) {
  47   sg_platf_init();
  48   sg_platf_begin();
  49
  50   storage_register_callbacks();
  51   routing_register_callbacks();
  52
  53   return 0;
  54 }
  55
  56 int console_close(lua_State *L) {
  57   sg_platf_end();
  58   sg_platf_exit();
  59   return 0;
  60 }
  61
  62 int console_add_backbone(lua_State *L) {
  63   s_sg_platf_link_cbarg_t link;
  64   memset(&link,0,sizeof(link));
  65   int type;
  66
  67   link.properties = NULL;
  68
  69   if (!lua_istable(L, -1)) {
  70     XBT_ERROR
  71         ("Bad Arguments to create backbone in Lua. Should be a table with named arguments.");
  72     return -1;
  73   }
  74
  75   lua_pushstring(L, "id");
  76   type = lua_gettable(L, -2);
  77   if (type != LUA_TSTRING) {
  78     XBT_ERROR("Attribute 'id' must be specified for backbone and must be a string.");
  79   }
  80   link.id = lua_tostring(L, -1);
  81   lua_pop(L, 1);
  82
  83   lua_pushstring(L, "bandwidth");
  84   type = lua_gettable(L, -2);
  85   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
  86     XBT_ERROR("Attribute 'bandwidth' must be specified for backbone and must either be a string (in the right format; see docs) or a number.");
  87   }
  88   link.bandwidth = surf_parse_get_bandwidth(lua_tostring(L, -1),"bandwidth of backbone",link.id);
  89   lua_pop(L, 1);
  90
  91   lua_pushstring(L, "lat");
  92   type = lua_gettable(L, -2);
  93   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
  94     XBT_ERROR("Attribute 'lat' must be specified for backbone and must either be a string (in the right format; see docs) or a number.");
  95   }
  96   link.latency = surf_parse_get_time(lua_tostring(L, -1),"latency of backbone",link.id);
  97   lua_pop(L, 1);
  98
  99   lua_pushstring(L, "sharing_policy");
 100   type = lua_gettable(L, -2);
 101   const char* policy = lua_tostring(L, -1);
 102   if (policy && !strcmp(policy,"FULLDUPLEX")) {
 103     link.policy = SURF_LINK_FULLDUPLEX;
 104   } else if (policy && !strcmp(policy,"FATPIPE")) {
 105     link.policy = SURF_LINK_FATPIPE;
 106   } else {
 107     link.policy = SURF_LINK_SHARED;
 108   }
 109
 110   sg_platf_new_link(&link);
 111   routing_cluster_add_backbone(sg_link_by_name(link.id));
 112
 113   return 0;
 114 }
 115
 116 int console_add_host___link(lua_State *L) {
 117   s_sg_platf_host_link_cbarg_t netcard;
 118   memset(&netcard,0,sizeof(netcard));
 119   int type;
 120
 121   // we get values from the table passed as argument
 122   if (!lua_istable(L, -1)) {
 123     XBT_ERROR
 124         ("Bad Arguments to create host_link in Lua. Should be a table with named arguments.");
 125     return -1;
 126   }
 127
 128   lua_pushstring(L, "id");
 129   type = lua_gettable(L, -2);
 130   if (type != LUA_TSTRING) {
 131     XBT_ERROR("Attribute 'id' must be specified for any host_link and must be a string.");
 132   }
 133   netcard.id = lua_tostring(L, -1);
 134   lua_pop(L, 1);
 135
 136   lua_pushstring(L, "up");
 137   type = lua_gettable(L, -2);
 138   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 139     XBT_ERROR("Attribute 'up' must be specified for host_link and must either be a string or a number.");
 140   }
 141   netcard.link_up = lua_tostring(L, -1);
 142   lua_pop(L, 1);
 143
 144   lua_pushstring(L, "down");
 145   type = lua_gettable(L, -2);
 146   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 147     XBT_ERROR("Attribute 'down' must be specified for host_link and must either be a string or a number.");
 148   }
 149   netcard.link_down = lua_tostring(L, -1);
 150   lua_pop(L, 1);
 151
 152   XBT_DEBUG("Create a host_link for host %s", netcard.id);
 153   sg_platf_new_hostlink(&netcard);
 154
 155   return 0;
 156 }
 157
 158 int console_add_host(lua_State *L) {
 159   s_sg_platf_host_cbarg_t host;
 160   memset(&host,0,sizeof(host));
 161   int type;
 162
 163   // we get values from the table passed as argument
 164   if (!lua_istable(L, -1)) {
 165     XBT_ERROR("Bad Arguments to create host. Should be a table with named arguments");
 166     return -1;
 167   }
 168
 169   // get Id Value
 170   lua_pushstring(L, "id");
 171   type = lua_gettable(L, -2);
 172   if (type != LUA_TSTRING) {
 173     XBT_ERROR("Attribute 'id' must be specified for any host and must be a string.");
 174   }
 175   host.id = lua_tostring(L, -1);
 176   lua_pop(L, 1);
 177
 178   // get power value
 179   lua_pushstring(L, "speed");
 180   type = lua_gettable(L, -2);
 181   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 182     XBT_ERROR("Attribute 'speed' must be specified for host and must either be a string (in the correct format; check documentation) or a number.");
 183   }
 184   host.speed_per_pstate = xbt_dynar_new(sizeof(double), NULL);
 185   if (type == LUA_TNUMBER)
 186     xbt_dynar_push_as(host.speed_per_pstate, double, lua_tointeger(L, -1));
 187   else // LUA_TSTRING
 188     xbt_dynar_push_as(host.speed_per_pstate, double, surf_parse_get_speed(lua_tostring(L, -1), "speed of host", host.id));
 189   lua_pop(L, 1);
 190
 191   // get core
 192   lua_pushstring(L, "core");
 193   lua_gettable(L, -2);
 194   if(!lua_isnumber(L,-1)) {
 195       host.core_amount = 1;// Default value
 196   }
 197   else host.core_amount = lua_tonumber(L, -1);
 198   if (host.core_amount == 0)
 199     host.core_amount = 1;
 200   lua_pop(L, 1);
 201
 202   //get power_trace
 203   lua_pushstring(L, "availability_file");
 204   lua_gettable(L, -2);
 205   const char *filename = lua_tostring(L, -1);
 206   if (filename)
 207     host.speed_trace = tmgr_trace_new_from_file(filename);
 208   lua_pop(L, 1);
 209
 210   //get trace state
 211   lua_pushstring(L, "state_file");
 212   lua_gettable(L, -2);
 213   filename = lua_tostring(L, -1);
 214     if (filename)
 215       host.state_trace = tmgr_trace_new_from_file(filename);
 216   lua_pop(L, 1);
 217
 218   sg_platf_new_host(&host);
 219   xbt_dynar_free(&host.speed_per_pstate);
 220
 221   return 0;
 222 }
 223
 224 int  console_add_link(lua_State *L) {
 225   s_sg_platf_link_cbarg_t link;
 226   memset(&link,0,sizeof(link));
 227
 228   int type;
 229   const char* policy;
 230
 231   if (! lua_istable(L, -1)) {
 232     XBT_ERROR("Bad Arguments to create link, Should be a table with named arguments");
 233     return -1;
 234   }
 235
 236   // get Id Value
 237   lua_pushstring(L, "id");
 238   type = lua_gettable(L, -2);
 239   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 240     XBT_ERROR("Attribute 'id' must be specified for any link and must be a string.");
 241   }
 242   link.id = lua_tostring(L, -1);
 243   lua_pop(L, 1);
 244
 245   // get bandwidth value
 246   lua_pushstring(L, "bandwidth");
 247   type = lua_gettable(L, -2);
 248   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 249     XBT_ERROR("Attribute 'bandwidth' must be specified for any link and must either be either a string (in the right format; see docs) or a number.");
 250   }
 251   if (type == LUA_TNUMBER)
 252     link.bandwidth = lua_tonumber(L, -1);
 253   else // LUA_TSTRING
 254     link.bandwidth = surf_parse_get_bandwidth(lua_tostring(L, -1),"bandwidth of link", link.id);
 255   lua_pop(L, 1);
 256
 257   //get latency value
 258   lua_pushstring(L, "lat");
 259   type = lua_gettable(L, -2);
 260   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 261     XBT_ERROR("Attribute 'lat' must be specified for any link and must either be a string (in the right format; see docs) or a number.");
 262   }
 263   if (type == LUA_TNUMBER)
 264     link.latency = lua_tonumber(L, -1);
 265   else // LUA_TSTRING
 266     link.latency = surf_parse_get_time(lua_tostring(L, -1),"latency of link", link.id);
 267   lua_pop(L, 1);
 268
 269   /*Optional Arguments  */
 270
 271   //get bandwidth_trace value
 272   lua_pushstring(L, "bandwidth_file");
 273   lua_gettable(L, -2);
 274   const char *filename = lua_tostring(L, -1);
 275   if (filename)
 276     link.bandwidth_trace = tmgr_trace_new_from_file(filename);
 277   lua_pop(L, 1);
 278
 279   //get latency_trace value
 280   lua_pushstring(L, "latency_file");
 281   lua_gettable(L, -2);
 282   filename = lua_tostring(L, -1);
 283   if (filename)
 284     link.latency_trace = tmgr_trace_new_from_file(filename);
 285   lua_pop(L, 1);
 286
 287   //get state_trace value
 288   lua_pushstring(L, "state_file");
 289   lua_gettable(L, -2);
 290   filename = lua_tostring(L, -1);
 291   if (filename)
 292     link.state_trace = tmgr_trace_new_from_file(filename);
 293   lua_pop(L, 1);
 294
 295   //get policy value
 296   lua_pushstring(L, "sharing_policy");
 297   lua_gettable(L, -2);
 298   policy = lua_tostring(L, -1);
 299   lua_pop(L, 1);
 300   if (policy && !strcmp(policy,"FULLDUPLEX")) {
 301     link.policy = SURF_LINK_FULLDUPLEX;
 302   } else if (policy && !strcmp(policy,"FATPIPE")) {
 303     link.policy = SURF_LINK_FATPIPE;
 304   } else {
 305     link.policy = SURF_LINK_SHARED;
 306   }
 307
 308   sg_platf_new_link(&link);
 309
 310   return 0;
 311 }
 312 /**
 313  * add Router to AS components
 314  */
 315 int console_add_router(lua_State* L) {
 316   s_sg_platf_router_cbarg_t router;
 317   memset(&router,0,sizeof(router));
 318   int type;
 319
 320   if (! lua_istable(L, -1)) {
 321     XBT_ERROR("Bad Arguments to create router, Should be a table with named arguments");
 322     return -1;
 323   }
 324
 325   lua_pushstring(L, "id");
 326   type = lua_gettable(L, -2);
 327   if (type != LUA_TSTRING) {
 328     XBT_ERROR("Attribute 'id' must be specified for any link and must be a string.");
 329   }
 330   router.id = lua_tostring(L, -1);
 331   lua_pop(L,1);
 332
 333   lua_pushstring(L,"coord");
 334   lua_gettable(L,-2);
 335   router.coord = lua_tostring(L, -1);
 336   lua_pop(L,1);
 337
 338   sg_platf_new_router(&router);
 339
 340   return 0;
 341 }
 342
 343 int console_add_route(lua_State *L) {
 344   XBT_DEBUG("Adding route");
 345   s_sg_platf_route_cbarg_t route;
 346   memset(&route,0,sizeof(route));
 347   int type;
 348
 349   /* allocating memory for the buffer, I think 2kB should be enough */
 350   surfxml_bufferstack = xbt_new0(char, surfxml_bufferstack_size);
 351
 352   if (! lua_istable(L, -1)) {
 353     XBT_ERROR("Bad Arguments to add a route. Should be a table with named arguments");
 354     return -1;
 355   }
 356
 357   lua_pushstring(L,"src");
 358   type = lua_gettable(L,-2);
 359   if (type != LUA_TSTRING) {
 360     XBT_ERROR("Attribute 'src' must be specified for any route and must be a string.");
 361   }
 362   route.src = lua_tostring(L, -1);
 363   lua_pop(L,1);
 364
 365   lua_pushstring(L,"dest");
 366   type = lua_gettable(L,-2);
 367   if (type != LUA_TSTRING) {
 368     XBT_ERROR("Attribute 'dest' must be specified for any route and must be a string.");
 369   }
 370   route.dst = lua_tostring(L, -1);
 371   lua_pop(L,1);
 372
 373   lua_pushstring(L,"links");
 374   type = lua_gettable(L,-2);
 375   if (type != LUA_TSTRING) {
 376     XBT_ERROR("Attribute 'links' must be specified for any route and must be a string (different links separated by commas or single spaces.");
 377   }
 378   route.link_list = new std::vector<Link*>();
 379   xbt_dynar_t names = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
 380   if (xbt_dynar_is_empty(names)) {
 381     /* unique name */
 382     route.link_list->push_back(Link::byName(lua_tostring(L, -1)));
 383   } else {
 384     // Several names separated by , \t\r\n
 385     unsigned int cpt;
 386     char *name;
 387     xbt_dynar_foreach(names, cpt, name) {
 388       if (strlen(name)>0) {
 389         Link *link = Link::byName(name);
 390         route.link_list->push_back(link);
 391       }
 392     }
 393   }
 394   lua_pop(L,1);
 395
 396   /* We are relying on the XML bypassing mechanism since the corresponding sg_platf does not exist yet.
 397    * Et ouais mon pote. That's the way it goes. F34R.
 398    *
 399    * (Note that above this function, there is a #include statement. Is this
 400    * comment related to that statement?)
 401    */
 402   lua_pushstring(L,"symmetrical");
 403   lua_gettable(L,-2);
 404   if (lua_isstring(L, -1)) {
 405     const char* value = lua_tostring(L, -1);
 406     if (strcmp("YES", value) == 0) {
 407       route.symmetrical = true;
 408     }
 409     else
 410       route.symmetrical = false;
 411   }
 412   else {
 413     route.symmetrical = true;
 414   }
 415   lua_pop(L,1);
 416
 417   route.gw_src = NULL;
 418   route.gw_dst = NULL;
 419
 420   sg_platf_new_route(&route);
 421
 422   return 0;
 423 }
 424
 425 int console_add_ASroute(lua_State *L) {
 426   s_sg_platf_route_cbarg_t ASroute;
 427   memset(&ASroute,0,sizeof(ASroute));
 428
 429   lua_pushstring(L, "src");
 430   lua_gettable(L, -2);
 431   ASroute.src = lua_tostring(L, -1);
 432   lua_pop(L, 1);
 433
 434   lua_pushstring(L, "dst");
 435   lua_gettable(L, -2);
 436   ASroute.dst = lua_tostring(L, -1);
 437   lua_pop(L, 1);
 438
 439   lua_pushstring(L, "gw_src");
 440   lua_gettable(L, -2);
 441   const char *name = lua_tostring(L, -1);
 442   ASroute.gw_src = sg_netcard_by_name_or_null(name);
 443   if (ASroute.gw_src == NULL) {
 444     XBT_ERROR("Attribute 'gw_src' of AS route does not name a valid machine: %s", name);
 445     return -1;
 446   }
 447   lua_pop(L, 1);
 448
 449   lua_pushstring(L, "gw_dst");
 450   lua_gettable(L, -2);
 451   name = lua_tostring(L, -1);
 452   ASroute.gw_dst = sg_netcard_by_name_or_null(name);
 453   if (ASroute.gw_dst == NULL) {
 454     XBT_ERROR("Attribute 'gw_dst' of AS route does not name a valid machine: %s", name);
 455     return -1;
 456   }
 457   lua_pop(L, 1);
 458
 459   lua_pushstring(L,"links");
 460   lua_gettable(L,-2);
 461   ASroute.link_list = new std::vector<Link*>();
 462   xbt_dynar_t names = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
 463   if (xbt_dynar_is_empty(names)) {
 464     /* unique name */
 465     ASroute.link_list->push_back(Link::byName(lua_tostring(L, -1)));
 466   } else {
 467     // Several names separated by , \t\r\n
 468     unsigned int cpt;
 469     char *name;
 470     xbt_dynar_foreach(names, cpt, name) {
 471       if (strlen(name)>0) {
 472         Link *link = Link::byName(name);
 473         ASroute.link_list->push_back(link);
 474       }
 475     }
 476   }
 477   lua_pop(L,1);
 478
 479   lua_pushstring(L,"symmetrical");
 480   lua_gettable(L,-2);
 481   if (lua_isstring(L, -1)) {
 482     const char* value = lua_tostring(L, -1);
 483     if (strcmp("YES", value) == 0)
 484       ASroute.symmetrical = true;
 485     else
 486       ASroute.symmetrical = false;
 487   }
 488   else {
 489     ASroute.symmetrical = true;
 490   }
 491   lua_pop(L,1);
 492
 493   sg_platf_new_route(&ASroute);
 494
 495   return 0;
 496 }
 497
 498 int console_AS_open(lua_State *L) {
 499  const char *id;
 500  const char *mode;
 501  int type;
 502
 503  XBT_DEBUG("Opening AS");
 504
 505  if (! lua_istable(L, 1)) {
 506    XBT_ERROR("Bad Arguments to AS_open, Should be a table with named arguments");
 507    return -1;
 508  }
 509
 510  lua_pushstring(L, "id");
 511  type = lua_gettable(L, -2);
 512   if (type != LUA_TSTRING) {
 513     XBT_ERROR("Attribute 'id' must be specified for any AS and must be a string.");
 514   }
 515  id = lua_tostring(L, -1);
 516  lua_pop(L, 1);
 517
 518  lua_pushstring(L, "mode");
 519  lua_gettable(L, -2);
 520  mode = lua_tostring(L, -1);
 521  lua_pop(L, 1);
 522
 523  int mode_int = A_surfxml_AS_routing_None;
 524  if(!strcmp(mode,"Full")) mode_int = A_surfxml_AS_routing_Full;
 525  else if(!strcmp(mode,"Floyd")) mode_int = A_surfxml_AS_routing_Floyd;
 526  else if(!strcmp(mode,"Dijkstra")) mode_int = A_surfxml_AS_routing_Dijkstra;
 527  else if(!strcmp(mode,"DijkstraCache")) mode_int = A_surfxml_AS_routing_DijkstraCache;
 528  else if(!strcmp(mode,"Vivaldi")) mode_int = A_surfxml_AS_routing_Vivaldi;
 529  else if(!strcmp(mode,"Cluster")) mode_int = A_surfxml_AS_routing_Cluster;
 530  else if(!strcmp(mode,"none")) mode_int = A_surfxml_AS_routing_None;
 531  else xbt_die("Don't have the model name '%s'",mode);
 532
 533  s_sg_platf_AS_cbarg_t AS;
 534  AS.id = id;
 535  AS.routing = mode_int;
 536  sg_platf_new_AS_begin(&AS);
 537
 538  return 0;
 539 }
 540 int console_AS_close(lua_State *L) {
 541   XBT_DEBUG("Closing AS");
 542   sg_platf_new_AS_end();
 543   return 0;
 544 }
 545
 546 int console_host_set_property(lua_State *L) {
 547   const char* name ="";
 548   const char* prop_id = "";
 549   const char* prop_value = "";
 550   if (!lua_istable(L, -1)) {
 551     XBT_ERROR("Bad Arguments to create link, Should be a table with named arguments");
 552     return -1;
 553   }
 554
 555
 556   // get Host id
 557   lua_pushstring(L, "host");
 558   lua_gettable(L, -2);
 559   name = lua_tostring(L, -1);
 560   lua_pop(L, 1);
 561
 562   // get prop Name
 563   lua_pushstring(L, "prop");
 564   lua_gettable(L, -2);
 565   prop_id = lua_tostring(L, -1);
 566   lua_pop(L, 1);
 567   //get args
 568   lua_pushstring(L,"value");
 569   lua_gettable(L, -2);
 570   prop_value = lua_tostring(L,-1);
 571   lua_pop(L, 1);
 572
 573   sg_host_t host = sg_host_by_name(name);
 574   if (!host) {
 575     XBT_ERROR("no host '%s' found",name);
 576     return -1;
 577   }
 578   xbt_dict_t props = sg_host_get_properties(host);
 579   xbt_dict_set(props,prop_id,xbt_strdup(prop_value),NULL);
 580
 581   return 0;
 582 }
 583
 584 /**
 585  * \brief Registers the platform functions into the table simgrid.platf.
 586  * \param L a lua state
 587  */
 588 void sglua_register_platf_functions(lua_State* L)
 589 {
 590   lua_getglobal(L, "simgrid");     /* simgrid */
 591   luaL_newlib(L, platf_functions); /* simgrid simgrid.platf */
 592   lua_setfield(L, -2, "platf");    /* simgrid */
 593
 594   lua_pop(L, 1);                   /* -- */
 595 }
 596
 597 //void sglua_register_routing_constants(lua_State* L)
 598 //{
 599 //  lua_getglobal(L, "simgrid");     /* simgrid */
 600 //  lua_newtable(L);                 /* simgrid simgrid.routing */
 601 //
 602 //  lua_pushstring(L, "Cluster");    /* simgrid simgrid.routing Cluster */
 603 //  lua_setfield(L, -2, "CLUSTER");     /* simgrid simgrid.routing */
 604 //
 605 //  lua_pushstring(L, "Dijkstra");    /* simgrid simgrid.routing Dijkstra */
 606 //  lua_setfield(L, -2, "DIJKSTRA");     /* simgrid simgrid.routing */
 607 //
 608 //  lua_pushstring(L, "DijkstraCache");    /* simgrid simgrid.routing DijkstraCache */
 609 //  lua_setfield(L, -2, "DIJKSTRA_CACHE");     /* simgrid simgrid.routing */
 610 //
 611 //  lua_pushstring(L, "Floyd");    /* simgrid simgrid.routing Floyd */
 612 //  lua_setfield(L, -2, "FLOYD");     /* simgrid simgrid.routing */
 613 //
 614 //  lua_pushstring(L, "Full");       /* simgrid simgrid.routing Full */
 615 //  lua_setfield(L, -2, "FULL");     /* simgrid simgrid.routing */
 616 //
 617 //  lua_pushstring(L, "None");    /* simgrid simgrid.routing None */
 618 //  lua_setfield(L, -2, "NONE");     /* simgrid simgrid.routing */
 619 //
 620 //  lua_pushstring(L, "Vivaldi");    /* simgrid simgrid.routing Vivaldi */
 621 //  lua_setfield(L, -2, "FULL");     /* simgrid simgrid.routing */
 622 //
 623 //  lua_setfield(L, -2, "routing");  /* simgrid */
 624 //
 625 //  lua_pop(L, 1);                   /* -- */
 626 //}