WriteDiskImage
thread_id write_thread = spawn_thread(WriteDiskImage,
static int32 WriteDiskImage(void* data);