uaddr_pivot_random
before_gap = uaddr_pivot_random();
after_gap = uaddr_pivot_random();
vsize_t uaddr_pivot_random(void);