integrated a macro to use auto-examples in interpolated specifications