#include "kpl.h"

inline void *kpl_thread_object_allocate(kpl_thread *thread, int32_t size);

inline void kpl_env_object_return(kpl_env *env, void *object);