cannot have extern in doctest