struct stringtree* user_lambda_value_prettyprint(
    const struct value* super);