error(uninstantiation_error, already_instantiated)