package python.lib.io;

extern class BufferedRandom {

	

}