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