trying to figure out how to define stack-inlined.h