Make pragbottest spec more interesting.