BUG: Cannot decode switch label value