exception printed to stderr