El siguiente es un ejemplo que muestra un procedimiento que incrementa un entero en una unidad: