changed header prefix to __CODEBOX_