# Properties set on command line
