super mario as a muppet.