export some atoms to xde.h