should be in a dc/types.h, included here.