WPA_PUT_BE32
WPA_PUT_BE32(v + 12, val);
WPA_PUT_BE32(v + 8, val);
WPA_PUT_BE32(v + 4, val);
WPA_PUT_BE32(v, val);
WPA_PUT_BE32(block + AES_BLOCK_LEN - 4, val);