Spec $*VM.precomp-ext