function woo(): string {
    var buf = "";
    buf += "Wee!\n";
    return buf;
}
export { woo };