Builtin vector methods (len, push, append) are ambiguous, not clear if they return a value, provide signature. (Section 7.9.1)