let z x = imp (x*2)