A bit more stdint (sparky code)