#include <stdint.h>

void dynrubin_decompress(
    unsigned char *data_in, 
    unsigned char *cpage_out,
	uint32_t sourcelen, 
    uint32_t dstlen
);