Thanks for the review. Agreed. I'll add helper macros for the min and min_not_zero patterns and include operation limits such as max_write_zeroes_sectors in the common path constraint helper in v3. Thanks, Yao