private static int Clipped(int value)
{
return(Miscellanea.UnsignedLeftShift32(value, 4));
}
//////////////////////////////////////////////////////////////////////////////
public static int Tag(int word)
{
return(Miscellanea.UnsignedLeftShift32(word, 29));
}