Getting Started with Rational Purify