O problema está relacionado à função `vt ioctl`, especificamente à chamada `vt setactivate`, na qual o mecanismo `array index nospec` não consegue sanitizar adequadamente um valor fora dos limites, levando a um underflow transitório de inteiros. O valor `vsa.console` deve ser reduzido primeiro e, em seguida, sanitizado com `array index nospec` para evitar esse problema.