Call some magic runes before invoquing read_extension_constructor
Give a proper abstract type to exception names