type narray<T> {
    uint64 Length { get const; };
    const T@ At(uint64 index) const;
    const T@ get_opIndex(uint64) const property;
}