/* returns INT64 datatype or converts input to int64 */
castint64(s)
{
        if (argc < 1)
        {
                /* signed byte */
                return(INT64);
        }
        else
        {
                /* convert to signed byte */
                return(castbyte({s}, INT64));
        }
}