open import Agda.Builtin.Nat using (Nat; _+_)

increment : Nat → Nat
increment = _+ 

-- NB: when the `simplifyTTerm` optimization pass is enabled, we get `1 + x0`

{-# FOREIGN AGDA2RUST
pub fn main() {
  println!("{}:\t {}", module_path!(),
    increment(41)
  );
}
#-}