SUCCESS\
assertion rust_add1(x) == x + 1