5 ms·

Yeah, sounds like a supervisor.