//! Shared dependency with private writable state.

/// Value read by dependent packages.
export static value: i32 = 7;

/// Large private allocation before the final zero-initialized scalar.
static padding: [u8; 8192] = [0; 8192];
/// Zero-initialized value at a large package offset.
static tail: i32 = 0;

/// Read this domain's value.
export fn read() -> i32 {
    set padding[8191] = 0;
    return value + tail;
}