#import nat

g = ~&h-> ^C/half@h ~&

#show+

main = %nP*=tx g <1024>