error: Infrastructure to track locations for error reporting