#ifndef DEF_TCE_OBJ_USER_LIB_H
#define DEF_TCE_OBJ_USER_LIB_H

#include <tce/syscall.h>
#include <tce/Object_common.h>

typedef int Object;

Object open(char* name);
Object open_relative(char* name, Object parent);
void close(Object object);
int get_methods(char* iface, int* whereto);

int Call(int method, Object object, size_t a, size_t b, size_t c, size_t d);

#endif