Is it so that
• if I want to generate an empty constructor
◦ and have default values
• then I have to set those default values in the empty constructor
Otherwise - I think - the JS backend will call the empty constructor without taking care of the defaults.
