Must not print to stdout