+ -- Any inline pragma (which sets when inlining is active)
+ -- on the original function is duplicated on the worker and wrapper
+ -- It *matters* that the pragma stays on the wrapper
+ -- It seems sensible to have it on the worker too, although we
+ -- can't think of a compelling reason. (In ptic, INLINE things are
+ -- not w/wd)