/* START builtins */
#include "stdio.h"

void _printf(msg)
{
    printf(msg);
}

/* END builtins */