let create_initial ~base ~v ~modu ~state = create_initial ~base ~v:(V_Or_Uninitialized.initialized v) ~modu ~state