Do I understand right that it's alloc length of empty list? Can we have that configurable via something like MICROPY_DEFAULT_LIST_ALLOC_SIZE - for some RAM-scarce micros which would like to do list crunching, 4 may be too much ;-).