(IWDS1-0099): Add `<-denotational@component' for A-IWDSU+4E38.