fixed nat_struct.v