bsetprop32
bsetprop32("stdout", stdout_val);
bsetprop32("deferred-console-buf", (uint32_t)((uintptr_t)&p));