Convert int64_t to char* string

int64_to_char_p.c

// 0x616a2f656d6f682f -> aj/emoh/ -> /home/ja

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <string.h>


void int64_to_char(char mesg[], int64_t num) {
  for(int i = 0; i < 8; i++) 
    mesg[i] = num >> (8-1-i)*8;
}

char *strrev(char *str) {
    char *p1, *p2;

    if (! str || ! *str)
        return str;
    
    for (p1 = str, p2 = str + strlen(str) - 1; p2 > p1; ++p1, --p2){
        *p1 ^= *p2;
        *p2 ^= *p1;
        *p1 ^= *p2;
    }
    return str;
}


int main(int argc, char** argv) {
    int64_t x64_constant = 0x616a2f656d6f682f;
    char *dest_str = (char*)malloc(8);
    int64_to_char(dest_str, x64_constant);
    printf("%s", strrev(dest_str));
    free(dest_str);
    return 0;
}