export declare function catchMain(p: Promise<any>): void;
export declare function eraseChars(writeStream: NodeJS.WriteStream, n: number): void;