mdb_dot_incr
addr = mdb_dot_incr(",");
extern uintmax_t mdb_dot_incr(const char *);
uintmax_t dot = mdb_dot_incr(",");
uintmax_t dot = mdb_dot_incr("\\n");
| '+' { $$ = mdb_dot_incr("+"); }