A short C String manipulation library