Trivial main module