{"bar": toJSON(i32)}
