const mapping_getterinfo: JSJitInfo;