(sbpl_interface) remove duplicated code