Reduce assumptions on stdout