Headers worked out in tools-type