# Internal macros for BPXE