Symbol: syscall_arg__scnprintf_kcmp_idx