WinDev/Lib/GrConsole: + procedure WriteInt.