I considered this (also considered a map) but my reasoning is that we're in an exceptional path so it doesn't matter anyway.