Mario characters, Character, Fictional characters