Example:
x.foo = 1 ^^^^^^ x[42] = 1 ^^^^^^
x.foo = 1 ^ x[42] = 1 ^^^^^^^ x[] = 1 ^^^^^
State Transition Table Serialization
State