public static byte[] bgl_host( byte[] hostname )
{
try {
IPHostEntry i = Dns.GetHostByName( newstring( hostname ) );
IPAddress addr = i.AddressList[ 0 ];
return getbytes( addr.ToString() );
} catch( Exception ) {
__cb__.failure( symbol.make_symbol( getbytes( "host" ) ),
getbytes( "unknown or misspelled host name" ),
hostname );
return null;
}
}