name() name( $const_int) Get a name for a given constant. Used for error handling. Parameters $const_int