use std::pair for syscall_pair