#ifndef NTC_H
#define NTC_H

#include<stddef.h>
#include<stdint.h>

const char **ntc_get_import_paths();

const char* ntc_get_arg(const char *name);

intmax_t ntc_get_int(const char *name);

#endif