Initial import of reQuiRe code