x hello
y DEFAULT

x HELLO
y HELLO

x world
y DEFAULT

x WORLD
y WORLD
