/* START builtins */
#include "stdio.h"
#include <stdbool.h>
void _printf(char *msg)
{
printf("%s", msg);
}
/* END builtins */