paramcoq