/* This file was generated by scramble.py. */
#line 1 "src/common.py"
#include "common.h"
#line 6
void print(char const * str, ...) {
    va_list args;
    va_start(args, str);
    vprintf(str, args);
    va_end(args);
    printf("\n");
}
/* This file was generated by scramble.py. */
