class REXP implements java.io.Serializable