Requires working.  Still need to handle CondDeref.