mdb_set_dot() and mdb_get_dot()
void mdb_set_dot(uintmax_t dot);
uintmax_t mdb_get_dot(void);
Set or get
the current value of dot (the “.” variable).
Module developers might want to reposition dot so that, for example, it refers
to the address following the last address read by the dcmd.