implementation module Void