On Mon, Jul 24, 2017 at 12:45 PM, Rafael Avila de Espindola <rafael.espindola at gmail.com> wrote: > >> +# Check that the order is pat -> _start -> tin. > > It is tin -> _start -> pat :-) > Sigh, thanks for spotting the typo :) -- Davide