x UInt32 DEFAULT y
y UInt32 EPHEMERAL 17
z UInt32 DEFAULT 5
1 2
17 2
17 5
7 5
21 5
y UInt32 EPHEMERAL 0
0 2
0 5