processes deregister at main when they stop