Je ne suis pas sûr non plus de voir ce que veut faire Folco (où il empile son pointeur).
(d'ailleurs tu pourrais utiliser jbsr pour le \Push aussi, parce que l'assembleur saura générer un bsr.s automatiquement.)