Added SOFIAPUBFUN and SOFIAPUBVAR where needed.
Removed auc_with_uicc().

darcs-hash:20060502154127-65a35-bc404fe28133b5cfcb178db4972dde3d25100185.gz