// returns true if a translator had been loaded
svoid veryQuickJava_mediumRefresh() {
  O trans = getOpt(mc(), 'transpileRaw_trans);
  callOpt(trans, 'mediumRefresh);
  
  // Also clear our own standard functions
  callOpt(getOpt(mc(), 'loadFunctions_cache), 'clear);
}