Servant
get_servant()
static NoServant
extract(Any a)
read(InputStream istream)
static void
insert(Any a, NoServant that)
write(OutputStream ostream, NoServant value)