But

But how are we going to call him now?

Well, you managed to enter "b" so we can stick to that.
Or we can just continue calling him "that guy".

>???