Implemented fixed_buffers annotation for caching of data structure base
pointers.