Simple 32-bit kernel for learning