What You Get is What You C: Controlling Side Effects in Mainstream C Compilers | IEEE Conference Publication | IEEE Xplore