cat <= 0), atomically updates @v to (@v + 1) with ${desc_order} ordering. * Otherwise, @v is not modified and relaxed ordering is provided. * * ${desc_noinstr} * * Return: @true if @v was updated, @false otherwise. */ EOF