[Caml-list] expansion of #use?

[Kenichi Asai <asai@is.ocha.ac.jp>]

Is there any way to expand the use of #use?  Suppose I have the
following two files:

a.ml:
let a = 3

b.ml:
#use "a.ml";;
print_int a

Given the file name b.ml, I want to obtain:

let a = 3 ;;
print_int a

The -dsource option of ocaml almost does it, but it executes the
program at the same time.  In the above program, it prints 3, too.

So far, I tweak into the OCaml implementation, turn off the execution
in execute_phrase in toploop.ml, and re-compile whole the OCaml.  I
wonder if I can do the same thing simpler than this, possibly using
compiler libs?

Thank you in advance.

PS. I know I should not use #use from the first place.

-- 
Kenichi Asai