Where does `$start` come from ?