private int readInt32() { return(Fns.intCast(readInt())); }
private int internalReadInt32() { return(Fns.intCast(internalReadInt())); }
private int readInt32() { return(Fns.intCast(readInt())); }
private int internalReadInt32() { return(Fns.intCast(internalReadInt())); }