Undo opaque declaration for seestar_buffer:buffer/0