Some additions for CIRCA.