Instantiation extensions moved to RGen_ext