import definitions
export definitions except p