(module Slap_C)