2020-10-11 Zig Type Checked State Transitions