Decrement r←ⵧy

r is one less than y: r←y-1.