[], sizeof(Nodes) >= literal(1);