Extern'd to make C happy