export declare function circ1(): number;