space before get_const_expr_as_str