void libbbb_bbb();