I am trying to split a timestamp in C into a suitable format, this format is to be `hh:mm:ss`.

The timestamp is stored as a positive integer in the format `hhmmss`. Is there a way to format this in C?

I have no code to show as I have no idea where to start really, my idea is store the timestamp in a character array, then every 2 characters print a `':'` character.

Example output:

```
timestamp = 123456

```

I want it shown as `12:34:56`

```
timestamp = 010203

```

I want it shown as `01:02:03`