KASan updates from v4