Safe remote purchase implemented in viper This is just an exercise in porting solidity code to viper. This is not in any way production code.