#include <windows.h>
#include <ntddcdrm.h>

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