Interesting; that might not be correct. The `tbaa_arraylen` in `emit_arraylen_prim` might need to be removed.