Mario, from Super Mario, was originally named “Jumpman”, although his name was later changed to honor Nintendo of America’s landlord, Mario Segali
I used to play a game on my Commodore back in 1984-5 called Jumpman. This game gave way (in a sense) to Donkey Kong. If anyone knows that Mario was in the original Donkey Kong game. Only then, though, he wasn't called Mario. He was, as you stated, Jumpman. Later, QD.