A test package for AutoDoc