- https://github.com/runtimeverification/mir-semantics/pull/809 handled zero-sized locals - https://github.com/runtimeverification/mir-semantics/pull/813 and https://github.com/runtimeverification/mir-semantics/pull/813 also work on zero-sized data - The test here are not sufficient, we should have more test cases for zero-sized data