Small examples testing what JPF and SPF does.