Update franken_buffer.c