add POSTDEF