Fix bug in FFI execute_buffer() method.
Add methods to get tokens as <id, offset, len> tuples.