// This file has no newline at the end of it
int nonl() { return 54; }