int32_CVC4,1.5_SP.oracle 844 Bytes