/*
 * cppawk program
 */

#include "header.cwh"

BEGIN { print max(42, 73) }