Fun fact: You can actually spawn mario in b1.3.1 and p4.5 with the debug menu.
Command: Create obj_mariohell
Another fun fact: If you play as vigilante or any character that isnt peppino or noise in story mode, make progress and leave the savefile and enter it, mariohell will also spawn.