module Rec2 where

  open import Data.Nat
  open import Rec1

  x : ℕ
  x = 42

  z : ℕ
  z = y