It's impossible to add a calldata check for neighboring byte portions (and more implications)

It's impossible to add a calldata check for neighboring byte portions (and more implications) #503