Independent Guest Virtual Machine (IGVM) File Format