finito string coder