A constant, already definied in this file.