in the examples I saw something like module p = foo