Indexed shapes:
Resolved: Index_vb.4 : c (File "index_vb.ml", line 22, characters 43-44)
Unresolved: CU Stdlib . "int_of_string"[value]  :
  int_of_string (File "index_vb.ml", line 22, characters 29-42)
Resolved: Index_vb.5 : d (File "index_vb.ml", line 22, characters 24-25)
Unresolved: CU Stdlib . "*"[value]  : ( *
  ) (File "index_vb.ml", line 22, characters 26-27)
Resolved: Index_vb.3 : a (File "index_vb.ml", line 22, characters 20-21)
Unresolved: CU Stdlib . "+"[value]  :
  (+) (File "index_vb.ml", line 22, characters 22-23)
Unresolved: CU Stdlib . "print_int"[value]  :
  print_int (File "index_vb.ml", line 22, characters 9-18)
Resolved: Index_vb.2 : b (File "index_vb.ml", line 20, characters 34-35)
Resolved: Index_vb.1 : a (File "index_vb.ml", line 20, characters 26-27)
Resolved: Index_vb.2 : b (File "index_vb.ml", line 20, characters 9-10)
Resolved: Index_vb.1 : a (File "index_vb.ml", line 20, characters 6-7)

Uid of decls:
Index_vb.0: t (File "index_vb.ml", line 18, characters 5-6)
Index_vb.1: a (File "index_vb.ml", line 18, characters 11-12)
Index_vb.2: b (File "index_vb.ml", line 18, characters 20-21)
Index_vb.3: a (File "index_vb.ml", line 20, characters 6-7)
Index_vb.4: a (File "index_vb.ml", line 20, characters 6-7)
Index_vb.5: a (File "index_vb.ml", line 20, characters 6-7)