New symbols added to regul.lib