Foursquare test project implemented in Alloy Titanium.