-R ./ TODO
-arg -w
-arg all

Core_Slice_Iter_Macros.v
Core_Slice_Iter.v
Core_Slice_Index_Private_slice_index.v
Core_Slice_Index.v
Core_Slice.v
Core_Result.v
Core_Primitive_Number_conversion_i.v
Core_Primitive_Number_conversion.v
Core_Primitive.v
Core_Panicking.v
Core_Option.v
Core_Ops_Range.v
Core_Ops_Index_range.v
Core_Ops_Index.v
Core_Ops_Function.v
Core_Ops_Bit_Impls_for_prims.v
Core_Ops_Bit.v
Core_Ops_Arith_Impls_for_prims.v
Core_Ops_Arith.v
Core_Ops.v
Core_Num_Uint_macros.v
Core_Num_Int_macros.v
Core_Num.v
Core_Marker.v
Core_Iter_Traits_Marker.v
Core_Iter_Traits_Iterator.v
Core_Iter_Traits_Exact_size.v
Core_Iter_Traits_Collect.v
Core_Iter_Traits.v
Core_Iter_Range.v
Core_Iter.v
Core_Intrinsics.v
Core_Fmt.v
Core_Convert.v
Core_Cmp.v
Core_Clone.v
Core_Base_interface_Int_U8_proofs.v
Core_Base_interface_Int_U64_proofs.v
Core_Base_interface_Int_U32_proofs.v
Core_Base_interface_Int_U16_proofs.v
Core_Base_interface_Int_U128_proofs.v
Core_Base_interface_Int_I8_proofs.v
Core_Base_interface_Int_I64_proofs.v
Core_Base_interface_Int_I32_proofs.v
Core_Base_interface_Int_I16_proofs.v
Core_Base_interface_Int_I128_proofs.v
Core_Base_interface_Int.v
Core_Base_interface_Coerce.v
Core_Base_interface.v
Core_Base_Z.v
Core_Base_Spec_Z.v
Core_Base_Spec_Unary.v
Core_Base_Spec_Seq.v
Core_Base_Spec_Haxint.v
Core_Base_Spec_Constants.v
Core_Base_Spec_Binary_Positive.v
Core_Base_Spec_Binary_Pos.v
Core_Base_Spec_Binary.v
Core_Base_Spec.v
Core_Base_Seq.v
Core_Base_Pos.v
Core_Base_Number_conversion.v
Core_Base_Binary.v
Core_Base.v
Core_Array_Rec_bundle_579704328.v
Core_Array_Iter.v
Core_Array.v
Core.v