3616 /* user-set options */