"Reaching into Java" fully verified