Non c'è scritto perchè non dipende dal linguaggio. E' un problema di errata logica nell'implementazione.