Create instantiation.rs