New Tiny project exports a single symbol.