First case where examples live in a separate file.