What is super Marios last name

Mario's name due to a movie is Mario Mario. However it good be named after Nintendo worker Mario who the character is based on.