#include "types.h"

void khalt();