const added_getterinfo: JSJitInfo;