Add stdio sprintf and test