#include <stdint.h>

void printString(char *string, uint16_t attribute) {
    attribute <<= 8;
    while(*string != 0) {
        *wtvm = *string | attribute;
        string++;
        wtvm++;
    }
}

void somewhereElse(void) {
    printString("Welcome", 0x07);
    printString("Hello", 0x1F);
}