GPUVerify Kernel Interceptor (Linux) Library