#include "out.h" /* toc */ void main__(void) {