With-* macros.