#include <inc/lib.h>

void
umain(int argc, char **argv) 
{
    set_breakpoint();
    int i = 5;
    int tot = 1;
    for (; i>0; i--) {
        tot = tot * i;
    } 
    cprintf("test value: %d\n", tot);    
 }