I would like to be able to init an array of specified size, pre-filled with a specified init value - using a core function. This is purely a convenience proposal. Describe how your proposal will work, ...