C stack implementation for use in the os161 kernel