u64
Module0x0000…0001
- Move path
- 0x0000…0001::u64
- Functions
- 2626 public, 0 entry
- Structs
- 0
- Friend modules
- None
u64
Bytecode875 lines
The on-chain disassembly. Offsets are bytecode positions within each function.
// Move bytecode v7
module 1.u64 {
use 0000000000000000000000000000000000000000000000000000000000000001::option;
use 0000000000000000000000000000000000000000000000000000000000000001::string;
use 0000000000000000000000000000000000000000000000000000000000000001::vector;
public bitwise_not(Arg0: u64): u64 {
B0:
0MoveLoc[0](Arg0: u64)
1LdU64(18446744073709551615)
2Xor
3Ret
}
public max(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Gt
7BrFalse(11)
B1:
8MoveLoc[3](loc1: u64)
9StLoc[2](loc0: u64)
10Branch(13)
B2:
11MoveLoc[4](loc2: u64)
12StLoc[2](loc0: u64)
B3:
13MoveLoc[2](loc0: u64)
14Ret
}
public min(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Lt
7BrFalse(11)
B1:
8MoveLoc[3](loc1: u64)
9StLoc[2](loc0: u64)
10Branch(13)
B2:
11MoveLoc[4](loc2: u64)
12StLoc[2](loc0: u64)
B3:
13MoveLoc[2](loc0: u64)
14Ret
}
public diff(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Gt
7BrFalse(13)
B1:
8MoveLoc[3](loc1: u64)
9MoveLoc[4](loc2: u64)
10Sub
11StLoc[2](loc0: u64)
12Branch(17)
B2:
13MoveLoc[4](loc2: u64)
14MoveLoc[3](loc1: u64)
15Sub
16StLoc[2](loc0: u64)
B3:
17MoveLoc[2](loc0: u64)
18Ret
}
public mul_div(Arg0: u64, Arg1: u64, Arg2: u64): u64 {
B0:
0MoveLoc[0](Arg0: u64)
1CastU128
2MoveLoc[1](Arg1: u64)
3CastU128
4Mul
5MoveLoc[2](Arg2: u64)
6CastU128
7Div
8CastU64
9Ret
}
public mul_div_ceil(Arg0: u64, Arg1: u64, Arg2: u64): u64 {
L3: loc0: u128
L4: loc1: u128
L5: loc2: u128
B0:
0MoveLoc[0](Arg0: u64)
1CastU128
2MoveLoc[1](Arg1: u64)
3CastU128
4Mul
5StLoc[4](loc1: u128)
6MoveLoc[2](Arg2: u64)
7CastU128
8StLoc[5](loc2: u128)
9CopyLoc[4](loc1: u128)
10CopyLoc[5](loc2: u128)
11Mod
12LdU128(0)
13Eq
14BrFalse(20)
B1:
15MoveLoc[4](loc1: u128)
16MoveLoc[5](loc2: u128)
17Div
18StLoc[3](loc0: u128)
19Branch(26)
B2:
20MoveLoc[4](loc1: u128)
21MoveLoc[5](loc2: u128)
22Div
23LdU128(1)
24Add
25StLoc[3](loc0: u128)
B3:
26MoveLoc[3](loc0: u128)
27CastU64
28Ret
}
public div_ceil(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Mod
7LdU64(0)
8Eq
9BrFalse(15)
B1:
10MoveLoc[3](loc1: u64)
11MoveLoc[4](loc2: u64)
12Div
13StLoc[2](loc0: u64)
14Branch(21)
B2:
15MoveLoc[3](loc1: u64)
16MoveLoc[4](loc2: u64)
17Div
18LdU64(1)
19Add
20StLoc[2](loc0: u64)
B3:
21MoveLoc[2](loc0: u64)
22Ret
}
public pow(Arg0: u64, Arg1: u8): u64 {
L2: loc0: u64
L3: loc1: u8
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[2](loc0: u64)
2MoveLoc[1](Arg1: u8)
3StLoc[3](loc1: u8)
4LdU64(1)
5StLoc[4](loc2: u64)
B1:
6CopyLoc[3](loc1: u8)
7LdU8(1)
8Ge
9BrFalse(35)
B2:
10Branch(11)
B3:
11CopyLoc[3](loc1: u8)
12LdU8(2)
13Mod
14LdU8(0)
15Eq
16BrFalse(26)
B4:
17CopyLoc[2](loc0: u64)
18MoveLoc[2](loc0: u64)
19Mul
20StLoc[2](loc0: u64)
21MoveLoc[3](loc1: u8)
22LdU8(2)
23Div
24StLoc[3](loc1: u8)
25Branch(6)
B5:
26MoveLoc[4](loc2: u64)
27CopyLoc[2](loc0: u64)
28Mul
29StLoc[4](loc2: u64)
30MoveLoc[3](loc1: u8)
31LdU8(1)
32Sub
33StLoc[3](loc1: u8)
34Branch(6)
B6:
35MoveLoc[4](loc2: u64)
36Ret
}
public sqrt(Arg0: u64): u64 {
L1: loc0: u128
L2: loc1: u128
L3: loc2: u64
L4: loc3: u128
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc2: u64)
2LdU128(18446744073709551616)
3StLoc[1](loc0: u128)
4LdU128(0)
5StLoc[2](loc1: u128)
6MoveLoc[3](loc2: u64)
7CastU128
8StLoc[4](loc3: u128)
B1:
9CopyLoc[1](loc0: u128)
10LdU128(0)
11Neq
12BrFalse(42)
B2:
13Branch(14)
B3:
14CopyLoc[4](loc3: u128)
15CopyLoc[2](loc1: u128)
16CopyLoc[1](loc0: u128)
17Add
18Ge
19BrFalse(33)
B4:
20MoveLoc[4](loc3: u128)
21CopyLoc[2](loc1: u128)
22CopyLoc[1](loc0: u128)
23Add
24Sub
25StLoc[4](loc3: u128)
26MoveLoc[2](loc1: u128)
27LdU8(1)
28Shr
29CopyLoc[1](loc0: u128)
30Add
31StLoc[2](loc1: u128)
32Branch(37)
B5:
33MoveLoc[2](loc1: u128)
34LdU8(1)
35Shr
36StLoc[2](loc1: u128)
B6:
37MoveLoc[1](loc0: u128)
38LdU8(2)
39Shr
40StLoc[1](loc0: u128)
41Branch(9)
B7:
42MoveLoc[2](loc1: u128)
43CastU64
44Ret
}
public try_as_u8(Arg0: u64): Option<u8> {
L1: loc0: Option<u8>
L2: loc1: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[2](loc1: u64)
2CopyLoc[2](loc1: u64)
3LdU64(255)
4Gt
5BrFalse(9)
B1:
6Call option::none<u8>(): Option<u8>
7StLoc[1](loc0: Option<u8>)
8Branch(13)
B2:
9MoveLoc[2](loc1: u64)
10CastU8
11Call option::some<u8>(u8): Option<u8>
12StLoc[1](loc0: Option<u8>)
B3:
13MoveLoc[1](loc0: Option<u8>)
14Ret
}
public try_as_u16(Arg0: u64): Option<u16> {
L1: loc0: Option<u16>
L2: loc1: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[2](loc1: u64)
2CopyLoc[2](loc1: u64)
3LdU64(65535)
4Gt
5BrFalse(9)
B1:
6Call option::none<u16>(): Option<u16>
7StLoc[1](loc0: Option<u16>)
8Branch(13)
B2:
9MoveLoc[2](loc1: u64)
10CastU16
11Call option::some<u16>(u16): Option<u16>
12StLoc[1](loc0: Option<u16>)
B3:
13MoveLoc[1](loc0: Option<u16>)
14Ret
}
public try_as_u32(Arg0: u64): Option<u32> {
L1: loc0: Option<u32>
L2: loc1: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[2](loc1: u64)
2CopyLoc[2](loc1: u64)
3LdU64(4294967295)
4Gt
5BrFalse(9)
B1:
6Call option::none<u32>(): Option<u32>
7StLoc[1](loc0: Option<u32>)
8Branch(13)
B2:
9MoveLoc[2](loc1: u64)
10CastU32
11Call option::some<u32>(u32): Option<u32>
12StLoc[1](loc0: Option<u32>)
B3:
13MoveLoc[1](loc0: Option<u32>)
14Ret
}
public to_string(Arg0: u64): String {
L1: loc0: String
L2: loc1: vector<u8>
L3: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc2: u64)
2CopyLoc[3](loc2: u64)
3LdU64(0)
4Eq
5BrFalse(10)
B1:
6LdConst[0](vector<u8>: "0" ..)
7Call string::utf8(vector<u8>): String
8StLoc[1](loc0: String)
9Branch(34)
B2:
10LdConst[1](vector<u8>: "" /..)
11StLoc[2](loc1: vector<u8>)
B3:
12CopyLoc[3](loc2: u64)
13LdU64(0)
14Neq
15BrFalse(29)
B4:
16MutBorrowLoc[2](loc1: vector<u8>)
17LdU64(48)
18CopyLoc[3](loc2: u64)
19LdU64(10)
20Mod
21Add
22CastU8
23VecPushBack(14)
24MoveLoc[3](loc2: u64)
25LdU64(10)
26Div
27StLoc[3](loc2: u64)
28Branch(12)
B5:
29MutBorrowLoc[2](loc1: vector<u8>)
30Call vector::reverse<u8>(&mut vector<u8>)
31MoveLoc[2](loc1: vector<u8>)
32Call string::utf8(vector<u8>): String
33StLoc[1](loc0: String)
B6:
34MoveLoc[1](loc0: String)
35Ret
}
public checked_add(Arg0: u64, Arg1: u64): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[4](loc2: u64)
5LdU64(18446744073709551615)
6CopyLoc[3](loc1: u64)
7Sub
8Gt
9BrFalse(13)
B1:
10Call option::none<u64>(): Option<u64>
11StLoc[2](loc0: Option<u64>)
12Branch(18)
B2:
13MoveLoc[3](loc1: u64)
14MoveLoc[4](loc2: u64)
15Add
16Call option::some<u64>(u64): Option<u64>
17StLoc[2](loc0: Option<u64>)
B3:
18MoveLoc[2](loc0: Option<u64>)
19Ret
}
public checked_sub(Arg0: u64, Arg1: u64): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Lt
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[2](loc0: Option<u64>)
10Branch(16)
B2:
11MoveLoc[3](loc1: u64)
12MoveLoc[4](loc2: u64)
13Sub
14Call option::some<u64>(u64): Option<u64>
15StLoc[2](loc0: Option<u64>)
B3:
16MoveLoc[2](loc0: Option<u64>)
17Ret
}
public checked_mul(Arg0: u64, Arg1: u64): Option<u64> {
L2: loc0: bool
L3: loc1: Option<u64>
L4: loc2: Option<u64>
L5: loc3: u64
L6: loc4: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[5](loc3: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[6](loc4: u64)
4CopyLoc[5](loc3: u64)
5LdU64(0)
6Eq
7BrFalse(11)
B1:
8LdTrue
9StLoc[2](loc0: bool)
10Branch(15)
B2:
11CopyLoc[6](loc4: u64)
12LdU64(0)
13Eq
14StLoc[2](loc0: bool)
B3:
15MoveLoc[2](loc0: bool)
16BrFalse(21)
B4:
17LdU64(0)
18Call option::some<u64>(u64): Option<u64>
19StLoc[4](loc2: Option<u64>)
20Branch(37)
B5:
21CopyLoc[6](loc4: u64)
22LdU64(18446744073709551615)
23CopyLoc[5](loc3: u64)
24Div
25Gt
26BrFalse(30)
B6:
27Call option::none<u64>(): Option<u64>
28StLoc[3](loc1: Option<u64>)
29Branch(35)
B7:
30MoveLoc[5](loc3: u64)
31MoveLoc[6](loc4: u64)
32Mul
33Call option::some<u64>(u64): Option<u64>
34StLoc[3](loc1: Option<u64>)
B8:
35MoveLoc[3](loc1: Option<u64>)
36StLoc[4](loc2: Option<u64>)
B9:
37MoveLoc[4](loc2: Option<u64>)
38Ret
}
public checked_div(Arg0: u64, Arg1: u64): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[4](loc2: u64)
5LdU64(0)
6Eq
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[2](loc0: Option<u64>)
10Branch(16)
B2:
11MoveLoc[3](loc1: u64)
12MoveLoc[4](loc2: u64)
13Div
14Call option::some<u64>(u64): Option<u64>
15StLoc[2](loc0: Option<u64>)
B3:
16MoveLoc[2](loc0: Option<u64>)
17Ret
}
public saturating_add(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
L5: loc3: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[4](loc2: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[5](loc3: u64)
4LdU64(18446744073709551615)
5StLoc[3](loc1: u64)
6CopyLoc[5](loc3: u64)
7CopyLoc[3](loc1: u64)
8CopyLoc[4](loc2: u64)
9Sub
10Gt
11BrFalse(15)
B1:
12MoveLoc[3](loc1: u64)
13StLoc[2](loc0: u64)
14Branch(19)
B2:
15MoveLoc[4](loc2: u64)
16MoveLoc[5](loc3: u64)
17Add
18StLoc[2](loc0: u64)
B3:
19MoveLoc[2](loc0: u64)
20Ret
}
public saturating_sub(Arg0: u64, Arg1: u64): u64 {
L2: loc0: u64
L3: loc1: u64
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[3](loc1: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[4](loc2: u64)
4CopyLoc[3](loc1: u64)
5CopyLoc[4](loc2: u64)
6Lt
7BrFalse(11)
B1:
8LdU64(0)
9StLoc[2](loc0: u64)
10Branch(15)
B2:
11MoveLoc[3](loc1: u64)
12MoveLoc[4](loc2: u64)
13Sub
14StLoc[2](loc0: u64)
B3:
15MoveLoc[2](loc0: u64)
16Ret
}
public saturating_mul(Arg0: u64, Arg1: u64): u64 {
L2: loc0: bool
L3: loc1: u64
L4: loc2: u64
L5: loc3: u64
L6: loc4: u64
L7: loc5: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[6](loc4: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[7](loc5: u64)
4LdU64(18446744073709551615)
5StLoc[5](loc3: u64)
6CopyLoc[6](loc4: u64)
7LdU64(0)
8Eq
9BrFalse(13)
B1:
10LdTrue
11StLoc[2](loc0: bool)
12Branch(17)
B2:
13CopyLoc[7](loc5: u64)
14LdU64(0)
15Eq
16StLoc[2](loc0: bool)
B3:
17MoveLoc[2](loc0: bool)
18BrFalse(22)
B4:
19LdU64(0)
20StLoc[4](loc2: u64)
21Branch(37)
B5:
22CopyLoc[7](loc5: u64)
23CopyLoc[5](loc3: u64)
24CopyLoc[6](loc4: u64)
25Div
26Gt
27BrFalse(31)
B6:
28MoveLoc[5](loc3: u64)
29StLoc[3](loc1: u64)
30Branch(35)
B7:
31MoveLoc[6](loc4: u64)
32MoveLoc[7](loc5: u64)
33Mul
34StLoc[3](loc1: u64)
B8:
35MoveLoc[3](loc1: u64)
36StLoc[4](loc2: u64)
B9:
37MoveLoc[4](loc2: u64)
38Ret
}
public checked_shl(Arg0: u64, Arg1: u8): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: u8
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[4](loc2: u64)
2MoveLoc[1](Arg1: u8)
3StLoc[3](loc1: u8)
4CopyLoc[3](loc1: u8)
5LdU8(64)
6Ge
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[2](loc0: Option<u64>)
10Branch(16)
B2:
11MoveLoc[4](loc2: u64)
12MoveLoc[3](loc1: u8)
13Shl
14Call option::some<u64>(u64): Option<u64>
15StLoc[2](loc0: Option<u64>)
B3:
16MoveLoc[2](loc0: Option<u64>)
17Ret
}
public checked_shr(Arg0: u64, Arg1: u8): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: u8
L4: loc2: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[4](loc2: u64)
2MoveLoc[1](Arg1: u8)
3StLoc[3](loc1: u8)
4CopyLoc[3](loc1: u8)
5LdU8(64)
6Ge
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[2](loc0: Option<u64>)
10Branch(16)
B2:
11MoveLoc[4](loc2: u64)
12MoveLoc[3](loc1: u8)
13Shr
14Call option::some<u64>(u64): Option<u64>
15StLoc[2](loc0: Option<u64>)
B3:
16MoveLoc[2](loc0: Option<u64>)
17Ret
}
public lossless_shl(Arg0: u64, Arg1: u8): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: Option<u64>
L4: loc2: u64
L5: loc3: u8
L6: loc4: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[6](loc4: u64)
2MoveLoc[1](Arg1: u8)
3StLoc[5](loc3: u8)
4CopyLoc[5](loc3: u8)
5LdU8(64)
6Ge
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[3](loc1: Option<u64>)
10Branch(29)
B2:
11CopyLoc[6](loc4: u64)
12CopyLoc[5](loc3: u8)
13Shl
14StLoc[4](loc2: u64)
15CopyLoc[4](loc2: u64)
16MoveLoc[5](loc3: u8)
17Shr
18MoveLoc[6](loc4: u64)
19Eq
20BrFalse(25)
B3:
21MoveLoc[4](loc2: u64)
22Call option::some<u64>(u64): Option<u64>
23StLoc[2](loc0: Option<u64>)
24Branch(27)
B4:
25Call option::none<u64>(): Option<u64>
26StLoc[2](loc0: Option<u64>)
B5:
27MoveLoc[2](loc0: Option<u64>)
28StLoc[3](loc1: Option<u64>)
B6:
29MoveLoc[3](loc1: Option<u64>)
30Ret
}
public lossless_shr(Arg0: u64, Arg1: u8): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: Option<u64>
L4: loc2: u64
L5: loc3: u8
L6: loc4: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[6](loc4: u64)
2MoveLoc[1](Arg1: u8)
3StLoc[5](loc3: u8)
4CopyLoc[5](loc3: u8)
5LdU8(64)
6Ge
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[3](loc1: Option<u64>)
10Branch(29)
B2:
11CopyLoc[6](loc4: u64)
12CopyLoc[5](loc3: u8)
13Shr
14StLoc[4](loc2: u64)
15CopyLoc[4](loc2: u64)
16MoveLoc[5](loc3: u8)
17Shl
18MoveLoc[6](loc4: u64)
19Eq
20BrFalse(25)
B3:
21MoveLoc[4](loc2: u64)
22Call option::some<u64>(u64): Option<u64>
23StLoc[2](loc0: Option<u64>)
24Branch(27)
B4:
25Call option::none<u64>(): Option<u64>
26StLoc[2](loc0: Option<u64>)
B5:
27MoveLoc[2](loc0: Option<u64>)
28StLoc[3](loc1: Option<u64>)
B6:
29MoveLoc[3](loc1: Option<u64>)
30Ret
}
public lossless_div(Arg0: u64, Arg1: u64): Option<u64> {
L2: loc0: Option<u64>
L3: loc1: Option<u64>
L4: loc2: u64
L5: loc3: u64
B0:
0MoveLoc[0](Arg0: u64)
1StLoc[4](loc2: u64)
2MoveLoc[1](Arg1: u64)
3StLoc[5](loc3: u64)
4CopyLoc[5](loc3: u64)
5LdU64(0)
6Eq
7BrFalse(11)
B1:
8Call option::none<u64>(): Option<u64>
9StLoc[3](loc1: Option<u64>)
10Branch(27)
B2:
11CopyLoc[4](loc2: u64)
12CopyLoc[5](loc3: u64)
13Mod
14LdU64(0)
15Eq
16BrFalse(23)
B3:
17MoveLoc[4](loc2: u64)
18MoveLoc[5](loc3: u64)
19Div
20Call option::some<u64>(u64): Option<u64>
21StLoc[2](loc0: Option<u64>)
22Branch(25)
B4:
23Call option::none<u64>(): Option<u64>
24StLoc[2](loc0: Option<u64>)
B5:
25MoveLoc[2](loc0: Option<u64>)
26StLoc[3](loc1: Option<u64>)
B6:
27MoveLoc[3](loc1: Option<u64>)
28Ret
}
public divide_and_round_up(Arg0: u64, Arg1: u64): u64 {
B0:
0MoveLoc[0](Arg0: u64)
1MoveLoc[1](Arg1: u64)
2Call div_ceil(u64, u64): u64
3Ret
}
Constants [
0 => vector<u8>: "0" // interpreted as UTF8 string
1 => vector<u8>: "" // interpreted as UTF8 string
]
}