Warning: session_start(): open(/var/lib/php/sessions/sess_rf45vblhgjf0hkad4tm78ijlu8, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sinterface IByteMemory64 {
byte getByte(long idx);
int getInt(long idx);
void setByte(long idx, byte val);
long size();
default int[] readIntArray(long start, int len) {
int[] a = new[len];
for i to len:
a[i] = getInt(start+(((long) i) << 2));
ret a;
}
default int[] readIntArray(LongRange r) {
ret r == null ? null : readIntArray(r.start, toInt(r.length()));
}
default long getLong(long idx) {
ret twoIntsToLong(getInt(idx), getInt(idx+4));
}
/*default void setLong(long idx, long val) {
setInt(idx, firstIntFromLong(val));
setInt(idx+4, secondIntFromLong(val));
}*/
}