Spec4: Add more recipes