Internal macros for BPXE