SET-LD-SKIP-PROOFSP

See ld-skip-proofsp.
Major Section:  OTHER