I can set _hart_stack_size to a smaller value, but I wonder if it would make more sense to set it to the size of the stack if the "single-hart" feature is enabled? They should effectively be the same ...