NAT c= INT by Lm5;