use inline function to speed header walks (and reduce exports)