py: Viper can call functions with native types, and raise exceptions.