/* returns UINT64 datatype or converts input to uint64 */
castuint64(s)
{
        if (argc < 1)
        {
                /* unsigned byte */
                return(UINT64);
        }
        else
        {
                /* convert to unsigned byte */
                return(castbyte({s}, UINT64));
        }
}