#define optional_pause()