insight secure compilation