Stuff related to string processing algorithms