Sigsegv as control flow: How the JVM optimizes your null checks