using append/3 in bisect_server