{"foo": i64, "bar": div}
