#include "uvm32_target.h"

void main(void) {
    void *p = NULL;
    println(p);
}