factorial(n:Int) Int {
    if (n <= 1)
        return 1;
    return n * factorial(n-1);
}

main() {
    var x = static factorial(7);
    println(x);
    var y = unwrapStatic(x);
    println(y);
}