add specs for the main module