/* Any copyright is dedicated to the Public Domain.
* http://creativecommons.org/publicdomain/zero/1.0/ */
pub fn main() {
let x: ~int = box 3;
println!("{}", *x);
}