module Nhc13Test1 (add1) where

add1 x = x + 1