Fix some inconsistent choices of datatypes in xlog.c. Make buffer

indexes all be int, rather than variously int, uint16 and uint32;
add some casts where necessary to support large buffer arrays.