Now with realistic errors and x86-64 syscalls