/* syscall: "getsockopt" ret: "int" args: "int" "int" "int" "void *" "socklen_t *" */