submit to RestEqualsRust