Represent GSAPP