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