Have __PLUS4__ imply __C16__.