#include "config.h"

int main(void) {
    return RETURN_VALUE;
}