macro assert