module type S =
sig
  val int_size : int
  val ptr_size : int
  val alignment : int option
end