yikes, what to do about Cast-Expr -- currently wipe all refts which is rather weak...