module Decls { header "decls.h" }