Hello how may I help you? I want to know something about Super Mario 64 Sure, what can I help you with today? What button do you have to push to jump? I'm sorry, I'm designed to clarify rules. I suggest you ask this of the GAME_CONTROLS bot. Okay, how many red coins are in the game? There are 8 red coins in Mario 64. Okay, thanks for the information You are welcome. Can I help you with anything else today? No, that is all, bye! Goodbye. Come back if you have any more questions about game rules.