@TagNumber(1) int get magic => $_getIZ(0);
@TagNumber(1) set magic(int v) { $_setUnsignedInt32(0, v); }