#include <stdint.h>
#include "minilzo.h"

uint32_t valueForKeyedArchiverUID(uint64_t keyedArchiverUID) {
    void *uid = (void*)keyedArchiverUID;
    uint32_t *valuePtr = uid+16;
    return *valuePtr;
}