#include <perms.h>
int Frame[32768 /*0:32767*/];