Super Mario 64 in SuperTux is a modified version of SuperTux which incorporates Mario using his moveset from Super Mario 64 into SuperTux using libsm64.