define const