{"bar": div}.i32
