Add ReadInt syscall and SynchConsole class