/// Generic value wrapper exported by the base module.
export record Box⟨T⟩ {
    /// Wrapped value.
    value: T,
}

/// Return an exported generic value unchanged.
export fn identity⟨T⟩(value: T) -> T {
    return value;
}

instantiate identity⟨u32⟩;