Issue #4: set 'nofucn' value for 'latedef' option