E.g., otherwise the first error in the tests would be "ERROR mismatched types: expected `uint` but found `BUG[0]`.