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