(sbpl_interface) restore shortcutting