Use NULL default for $def