uint64 input

#
#  PRE: if edit
#

input := %{((uint64)Acct-Input-Gigawords << 32) | (uint64)Acct-Input-Octets}

if !(input == 0) {
	test_fail
}

success
