void write_expr(expr_rec out_expr)
{
generate("Write", extract(out_expr), "Integer", "");
}