A nondietary source of vitamin K is: