べニアは、リンカにより挿入されたコードの小さいシーケンスで、コール関数がその目的先に到達しない、または正しいモードに変更できないときに、そのギャップをつなげます。

ベニアのコードは、任意の呼び出し元および呼び出し先関数間に挿入できます。そのため、一部のレジスタは、アセンブラ言語で記述された関数を含み、関数呼出し時のスクラッチレジスタとして扱う必要があります。これはジャンプにも適用されます。32ビットモードの場合、R12はスクラッチレジスタとして扱う必要があります。64ビットモードの場合、X16とX17は両方ともスクラッチレジスタとして扱う必要があります。