public Stat SwitchStatement(CExpression expr, Stat switchBody) { throw new NotImplementedException(); }