make verify hung (randomized pids problem?)