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