#include <stdio.h>
#include <stdint.h>
#include <string.h>
 
int main(void)
{
	// The number we want to print
	int port = 1234;
 
	// Copy the raw binary data to a buffer
	uint8_t _port[sizeof port];
	memcpy(_port, &port, sizeof port);
 
	// Skip leading zeroes in the buffer
	uint8_t *current;
	for (current = _port + sizeof _port - 1; current > _port && *current == 0; --current)
	{
	    // Empty
	}
 
	// Print the remaining bytes
	for (; current >= _port; --current)
	{
	    printf("\\%02x", *current);
	}
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KI2luY2x1ZGUgPHN0cmluZy5oPgoKaW50IG1haW4odm9pZCkKewoJLy8gVGhlIG51bWJlciB3ZSB3YW50IHRvIHByaW50CglpbnQgcG9ydCA9IDEyMzQ7CgkKCS8vIENvcHkgdGhlIHJhdyBiaW5hcnkgZGF0YSB0byBhIGJ1ZmZlcgoJdWludDhfdCBfcG9ydFtzaXplb2YgcG9ydF07CgltZW1jcHkoX3BvcnQsICZwb3J0LCBzaXplb2YgcG9ydCk7CgkKCS8vIFNraXAgbGVhZGluZyB6ZXJvZXMgaW4gdGhlIGJ1ZmZlcgoJdWludDhfdCAqY3VycmVudDsKCWZvciAoY3VycmVudCA9IF9wb3J0ICsgc2l6ZW9mIF9wb3J0IC0gMTsgY3VycmVudCA+IF9wb3J0ICYmICpjdXJyZW50ID09IDA7IC0tY3VycmVudCkKCXsKCSAgICAvLyBFbXB0eQoJfQoJCgkvLyBQcmludCB0aGUgcmVtYWluaW5nIGJ5dGVzCglmb3IgKDsgY3VycmVudCA+PSBfcG9ydDsgLS1jdXJyZW50KQoJewoJICAgIHByaW50ZigiXFwlMDJ4IiwgKmN1cnJlbnQpOwoJfQp9Cg==