#ifndef MANGO_HANDLE_H_
#define MANGO_HANDLE_H_

#include <mango/status.h>
#include <mango/types.h>

extern kern_status_t kern_handle_close(kern_handle_t handle);
extern kern_status_t kern_handle_duplicate(
	kern_handle_t handle,
	kern_handle_t *out);

#endif