//With the Digest Tag changed
OUTPUT_BINARY_FILE=digestinfo_digest_notoctetstring.der,1
	// DigestInfo
	SEQUENCE
		SEQUENCE
			OID=SHA1
			NULL
		END
		// THE DIGEST TAG IS CHANGED FOR THE NEGATIVE TEST CASE
		INTEGER = 1
		
	END	
END