Ensure that we can seek in the file in js_loadfile.
Make a proper pretty-printing function.