Feature consistency in compile-time-configurable system software | Synapse