x hello
y DEFAULT

x HELLO
y DEFAULT

x world
y DEFAULT

x WORLD
y DEFAULT
