const labels_getterinfo: JSJitInfo;