os.writeInt(StorageAddress.pageFromPointer(pointer)); os.writeShort(StorageAddress.tidFromPointer(pointer)); os.writeShort(StorageAddress.flagsFromPointer(pointer));
os.writeInt(pageFromPointer(pointer)); os.writeShort(tidFromPointer(pointer)); os.writeShort(flagsFromPointer(pointer));
	public final static void write(long pointer, VariableByteOutputStream os) {		os.writeInt(StorageAddress.pageFromPointer(pointer));		os.writeShort(StorageAddress.tidFromPointer(pointer));		os.writeShort(StorageAddress.flagsFromPointer(pointer));	}