An implementation of string binary search with Lazarus