Yes, Super Mario Bros. 4 would be Super Mario 64 on SNES. I thought: if Mario 64 had started development on SNES it would not have been called Super Mario "64" since SNES is not 64-bit. But even Mario 3D wouldn't have been a good title, so I thought: the first 3 Mario chapters came out on NES: Super Mario Bros., Super Mario Bros. 2 and Super Mario Bros. 3 and then I switched to Super Mario on SNES World. So, for me Super Mario Bros. 4 would have been this. Super Mario 64 1996© Nintendo