Es más, un procedimiento puede devolver un valor de cualquier tipo, y este tipo puede ser distinto en distintas llamadas al mismo procedimiento.