module Foo where
import Internal
foo = internal + 2