export declare const JS_PRELUDE: string;