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