ASSERT prints to stderr