builtin_len
builtin_init