Export defs