processed 1 task

task 0 'print-bytecode'. lines 1-8:
// Move bytecode v5
script {


main() {
L0:	loc0: u64
B0:
	0: LdU64(3)
	1: StLoc[0](loc0: u64)
	2: CopyLoc[0](loc0: u64)
	3: LdU64(2)
	4: Gt
	5: Not
	6: BrFalse(9)
B1:
	7: LdU64(42)
	8: Abort
B2:
	9: Ret
}
}