Various utility scripts used in C-CINA