Merge pull request #364 from algorandfoundation/feat/extract_big_box

better use of box_extract/replace for static types

examples/arc72/artifacts/ARC72.approval.teal

@@ -53,9 +53,9 @@ arc72_ownerOf:
 	// examples/arc72/arc72.algo.ts:25
 	// return this.tokenBox(tokenId).value.owner;
 	frame_dig -1 // tokenId: uint256
-	box_get
-	assert
-	extract 0 32
+	int 0
+	int 32
+	box_extract
 	retsub
 
 abi_route_arc72_tokenURI:
@@ -90,11 +90,9 @@ arc72_tokenURI:
 	// examples/arc72/arc72.algo.ts:37
 	// return this.tokenBox(tokenId).value.uri;
 	frame_dig -1 // tokenId: uint256
-	box_get
-	assert
-	int 32
+	int 32 // headOffset
 	int 256
-	extract3
+	box_extract
 	retsub
 
 // transferTo(uint256,address)void
@@ -170,12 +168,10 @@ arc72_transferFrom:
 	dup
 	bnz skip_or0
 	txn Sender
-	frame_dig 0 // storage key//token
-	box_get
-	assert
-	int 288
+	frame_dig -3 // tokenId: uint256
+	int 288 // headOffset
 	int 32
-	extract3
+	box_extract
 	==
 	||
 
@@ -240,7 +236,7 @@ arc72_approve:
 	// examples/arc72/arc72.algo.ts:65
 	// this.tokenBox(tokenId).value.controller = approved
 	frame_dig -2 // tokenId: uint256
-	int 288
+	int 288 // headOffset
 	frame_dig -1 // approved: Address
 	box_replace
 	retsub