const validity_getterinfo: JSJitInfo;