Two simple drivers that provide and consume an exported symbol