TP11 exo3: Push the trivial implementation