I'm pretty sure that Mario 64 shipped with the N64, for a little while atleast.