Symbol: ALT_NOT_XEN