This is unnecessarily duplicated, since the `Module` contains this anyway as part of the program blob. (This is an old vestigial code from back when we didn't hold a reference to a `ProgramBlob`.)