Linux kernel LOL

blah(..., int __user optlen);