Initial module specification