#include "tc-ns32k.h"