I was putting him back in the carrier and talking to him. The vet tech started laughing and told me she'd never heard a cat called by that name.
I'd called him "Martian". Which is long for "Mars". Which is short for "Mario". And Martian is easier to say than Mario. Two syllables versus three.
And he is my little Martian.