This case pattern is duplicated a number of times. I'd prefer that this were factored out into a maybe_start_proc function.