document what is used by main from body.h