Types propagated to arrays.  Pointer stores its own type as opposed to target type.  InterpreterIterator constructor survives empty module.

Fails on wc.c.