void printf(string format, ...)
A cross between sprintf() and write(). Returns void and prints the result string to the user.
sprintf(E), write(E), terminal_colour(E)