Possible Bug: Out-of-bounds writes

[autoDetector]

Vulnerable File: circuits/aes-gcm/aes-gctr-fold.circom
commit: 65f823fc5606fca74440fb0de939ae07a3c39a80

writeToIndex.index <== counter * 16; do not check index range, which may cause Out-of-bounds writes.