#include <windows.h>
#include <stdio.h>
#include "badger_exports.h"

WINADVAPI DWORD WINAPI Kernel32$GetCurrentProcessId();

void coffee(char** argv, int argc, WCHAR** dispatch) {
    DWORD bgr_pid = Kernel32$GetCurrentProcessId();
    BadgerDispatch(dispatch, "[+] Process PID: %lu\n", bgr_pid);
}