#ifndef JKRARAMSTREAM_H
#define JKRARAMSTREAM_H

#include "dolphin/types.h"

#endif /* JKRARAMSTREAM_H */