push_macro_value
source = push_macro_value(t,
source = push_macro_value(t,
source = push_macro_value(t,
static Source push_macro_value(Source bp, wchar_t *buffer, int size, Source source);
source = push_macro_value(t,