OK, I think we agree that a warning is the appropriate behavior for the compiler in this case. The "output" file for eweasel test exec296 is correct, but the tcf file will need to be adjusted to account for the warning.