bound check for cases
get zombies at time t for case c