2021-08-12 11:31 GMT+10:00 "Peter Wang" <novalazy at gmail.com>: >> Does anyone have any better ideas? > > module_details? That is better. I also just thought of module_origin. We already have x_origin for several other values of x, e.g. pred, closure, etc. Zoltan.