1Test that CHECK-START-DEBUGGABLE runs only on --debuggable code.