Cogent is a high-level functional language that reduces the cost of writing and formally verifying efficient systems code. We introduce the design of Dargent, a data layout description language that enables customising memory layouts of Cogent algebraic datatypes. Dargent allows programmers to write more code in Cogent and to integrate Cogent code with existing C programs (e.g. the Linux kernel) more seamlessly.