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