Slide "Compile time analysis"