#include "toba.h"
#include "runtime.h"
#include "java_net_SocketInputStream.h"
#include "java_net_SocketImpl.h"

/* java/net/SocketInputStream socketRead ([BII)I */
Int socketRead_abii_s3Sx4(Object Harg1, Object b, Int off, Int len)
{
    struct in_java_net_SocketInputStream *this = 
        (struct in_java_net_SocketInputStream *)Harg1;
    struct in_java_net_SocketImpl *impl;

    impl = this->impl;
    if(!impl)
        throwNullPointerException("socketRead");

    return fd_read_bytes(impl->fd, b, off, len);
}