reg_alloc contains state that is only valid on a per-block basis, so there is no reason for it to be a member variable.