this line shall appear exactly once on stdout