array.len() works again
if implemented as operator