Use new STInteger and STBitString types