Class Option_u64Z.None