[dist] `with` statement
[dist] `switch` statement