What would you name these characters?

Names are picked before personality is displayed. Pick names that you like, and the characters will fit into them.