What was wrong with a good Martian name like ppTtzzYx?
I thought Martians named their kids Marvin or something boring like that.