@jbcaillau init = (variable = ..., state = ..., control = ...)

• order independent
• allows not to give everything (complete with default, then)
• while currently sth to initialise variable must always be given (even if no variable!)