(invariant_p, case REG): Pointers into frame are not invariants if
drwxr-xr-x - gcc