Using at_pos and at_key