export derived new_specification from bossLib