New system call: ReadInt