Stav dette: Reachability problems in nondeterministic polynomial maps on the integers