Additional modules for IPSLibrary