Miquel, is this patch helps with your original problem of devices not freed? Zhang, is this patch helps with your problem with KAsan?