MAGIC_PRISON
LABEL_INIT(label, MAGIC_PRISON);
LABEL_DESTROY(label, MAGIC_PRISON);
LABEL_CHECK(src, MAGIC_PRISON);
LABEL_CHECK(dest, MAGIC_PRISON);
LABEL_CHECK(label, MAGIC_PRISON);
LABEL_CHECK(label, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(newlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(newlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);
LABEL_CHECK(prlabel, MAGIC_PRISON);