dopushdef
dopushdef(argv[2], (argc > 3) ? argv[3] : null);
static void dopushdef(const char *, const char *);