Stream file: hoki128-net