function sc_toDisplayString(o) {
    if (o === null)
    return "()";
    else if (o === true)
    return "#t";