#include <cynic.h>

int main(void) {
    un_alloc_temp_init(UN_KB(4));

    cyn_log_write(CYN_LOG_INFO, UN_STR("Hello %u %d %s!"), (u64)100, (s64)-400, UN_STR("World"));
}