Một tập hợp các tĩnh bị ràng buộc, ràng buộc tự động, hoặc cả hai, mô-đun có thể được nạp bởi một bộ nạp CIVICS.