That is __NR32_read