jacks/tests/runtime/jls/execution/initialization-of-classes-and-interfaces/detailed-initialization-procedure
