It's probably better to use `kernel_info()` instead of `execute('pass')` here