#ifndef __JSURANDOMINPUTSTREAM_H__
#define __JSURANDOMINPUTSTREAM_H__
#include "dolphin/types.h"
class JSURandomInputStream {
public:
void getAvailable(void) const;
};
#endif