HK80 source code imported