+left { return TOK_LEFT; }
+right { return TOK_RIGHT; }
+resize { return TOK_RESIZE; }
+shrink { return TOK_SHRINK; }
+grow { return TOK_GROW; }
+px { return TOK_PX; }
+or { return TOK_OR; }
+ppt { return TOK_PPT; }
+nop { BEGIN(WANT_WS_STRING); return TOK_NOP; }
+restore { BEGIN(WANT_WS_STRING); return TOK_RESTORE; }
+mark { BEGIN(WANT_WS_STRING); return TOK_MARK; }