module spec