(module Slap_vec)