I am wondering why we can't make #load to load everything needed automatically, given object files already in the search path.
FYI, currently, it only shows the error (t opens B and uses B.x)
utop # #load "t.cmo";;
Error: Reference to undefined global `B'