Fill in the rest of main module.