This should be added to Mantle.h.