I’m trying to verify a program with CF that uses both arrays and I/O from the basis. I don’t see how to make this work, since you only seem to be able to do 1 translation_extends. Any ideas? Scott