Separate the 0x3XKK and 0x4XKK implementations
I'm kind of a whitespace arrangement nazi