/* This Hello World simply print out "Hello World" */

#include "pal.h"
#include "pal_debug.h"

#include <stdint.h>

int main (int argc, char ** argv, char **envp)
{
    void * p1 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 4,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    void * p2 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 4,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    void * p3 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 2,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryAlloc ((void *) (((uint64_t) p1 + (uint64_t) p2) / 2),
                          pal_control.alloc_align * 4,
                          0, PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryAlloc (p3, pal_control.alloc_align * 2, 0,
                          PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryFree (p3, pal_control.alloc_align);

    return 0;
}