As raised in #108 (comment), invoking initialize_header() from a Space trait object would result in dynamic dispatching in the fast path. We can move initialize_header() to SFT, this would solve the problem.