/* START builtins */
#include "stdio.h"
#include <stdbool.h>

void _printf(char *msg)
{
    printf("%s", msg);
}

/* END builtins */