pub fn get_syscall(prog: &Program, syscall: &Syscall) -> String