Require Import Arith.

Definition foo:nat := 1%nat.