#include "message.h"
#include "hal/obj.h"

void *
message_data(jove_owned_obj_t *obj)
{
    uintptr_t objptr = (uintptr_t)obj_deref(obj);
    return (void*)(objptr & ~0xFFF);
}

size_t 
message_len(jove_owned_obj_t *obj)
{
    return (obj_getvalue(obj) & 0xFFF) << 12;
}