proper worker counting for HULK