Verificación de cálculos y traducción de funciones del código C a un código de lenguaje sencillo

. Suma de comprobación de subrutina, tipo entero corto

Búfer de parámetros, tipo entero corto, referencia

Tamaño de parámetro, tipo entero.

. Variable local cksum, tipo entero

. Determine el encabezado del bucle (tamaño > 1)

Suma de comprobación = búfer + 1 + suma de comprobación

Tamaño = tamaño - 2

. Determine el final del bucle ()

. Si es verdadero (tamaño ≠ 0)

CKSUM = CKSUM+a bytes (búfer)

Si es verdadero.

CKSUM = desplazamiento a la derecha (CKSUM, 16) + Bit AND (cksum, 65535)

CKSUM = CKSUM + desplazamiento a la derecha (CKSUM, 16)

Regresar (suma de comprobación)