The module SPEC prologue here.