Зеленый человечек | Mario characters, Character, Fictional characters