What do multiple codes in one line of the code section of lircd.conf mean? Are those two codes sent sequentially, and then repeated?

For background, I am trying to get an idea of how the Roku remote works, in hopes of figuring out how to directly access channels. I have a Roku, but it came with an RF remote. I have a Harmony remote, which I loaded with IR codes for the Roku, and I've recorded those with irrecord. It uses the NEC protocol with pre-data of 0x5743 and no detected toggle bit mask. For example, here is the Home button:

Home                     0xC03F 0xC13E

For each code the second code appears to be obtained by adding 0x00FF to the first code. I haven't seen this sort of behavior for the NEC protocol before, so I'm wondering if this is common. Is this something specific to Roku? Or is this some anomaly of recording from the Harmony remote, and if I had a real Roku remote it wouldn't behave this way.

My goal was to generate a series of codes using the same protocol as the Roku remote and seeing if any of them, when transmitting, trigger a channel to operate. I know that there is at least a code for the Amazon channel, because you can apparently purchase an IR remote which includes a button for Amazon.

Out of curiosity, anyone have one of these Roku remotes, and care to irrecord it and see if it also produces these same double codes, or even better, can detect the code for some of the direct-access buttons?