Temporary unlazy introduction of $*SPEC