(module Slap_S)