This is not detected by Eva because:
"no assigns clause generated for function length because pointers as arguments is not yet supported"