export declare function octdigits(): '01234567';