#include <perms.h>
int K = 0xab;