The proof of the theorem of MacPherson that functors out of the exit path category are equivalent to constructible sheaves was not written down, just claimed. Others have since given much more general theorems, but whose reduction to MacPherson's result is not immediate.