fn out_idx2value(node_id: NodeId, idx: i16) -> Value