#include "stdio.h"

#include "iec_std_lib.h"

int main(int argc,char **argv)
{
        return 0;
}