Explictly cast SILC_SERVER_REC to SERVER_REC