Code extraction into an Julia source file