options already defined as formal param