spec: file_define/2,3