const disposition_getterinfo: JSJitInfo;