Where does `$loader` come from?