#include <perms.h>
void Out(int *X) { Write(*X, 2); }