1 2 3 4 5 6 7 8 9 10 11 12 13
contract c { fn f(u256 a) -> (u256) { while(true) { if (a == 0) { return 0; } a = a - 1; } do { a = a - 1; } while (a != 0); } }