rustxi rfc details