#include <stdio.h>
#include "local.h"

#define HDR "computed.h"
#include HDR

int main(void) {
    return 0;
}