Update util.h: add stack buffer