provisioning
casting for 64bit archs