(module Slap_size)