1cat <<EOF
 2/**
 3 * ${class}${atomicname}() - atomic decrement if positive with ${desc_order} ordering
 4 * @v: pointer to ${atomic}_t
 5 *
 6 * If (@v > 0), atomically updates @v to (@v - 1) with ${desc_order} ordering.
 7 * Otherwise, @v is not modified and relaxed ordering is provided.
 8 *
 9 * ${desc_noinstr}
10 *
11 * Return: The old value of (@v - 1), regardless of whether @v was updated.
12 */
13EOF