secd/src/main.c

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

int main(int argc, char** argv) {
}