#ifndef _VALUE_H_
#define _VALUE_H_

#include <stdbool.h>
#include <stdint.h>

typedef uint64_t value;

bool is_int(value);

int64_t to_int(value);

value from_int(int64_t);

bool is_pointer(value);

value *to_pointer(value);

value from_pointer(value *);

#endif