RE: Learning to write kernel modules