UC-106 explicit value checking for noexternals