/** Modifies the passed url and can terminate without returning anything. */ URL basic(String input, URL base, String encodingOverride, URL url, State stateOverride){ Machine m=new Machine(input, base, encodingOverride, url, stateOverride); m.init(); return m.run(); }