/* insert.c */
#include "defs.h"
#include "buffer.h"
void insert() {
}