x hello
y e

x HELLO
y DEFAULT

x world
y DEFAULT

x WORLD
y DEFAULT
