#ifndef __RPL_H
#define __RPL_H

#include "types.h"

extern int rpl_object_size( byte* obj );
extern int rpl_push_object( byte* obj, address size );

#endif