Por ejemplo, las aserciones pueden ser colocadas en la cláusula codice_6 de una estructura codice_7 en lenguajes como C, C++ y Java.