print("(buffer[count++])");
print("(buffer[++count])");
    public void visitPopExpression(SIRPopExpression self,                                   CType tapeType)    {        print("(buffer[count++])");    }