Support: No need to comment __isl_keep