Initialization and default values specs