What about one read_int call? I guess it exists...<br>