Add a comment to that effect? Just to ensure this isn't optimized/standardized out at some later point?