Stack Exchange's string format function