WPA_GET_BE32
val = WPA_GET_BE32(v + 8);
val = WPA_GET_BE32(v + 4);
val = WPA_GET_BE32(v);
val = WPA_GET_BE32(block + AES_BLOCK_LEN - 4);
val = WPA_GET_BE32(v + 12);