fix for #5: kprobe error when naming args