opt_ws:
    WS
|
    // empty
;

