save the buffer before Agda loads it