Constructors

This plugin has two different constructors:

intvalue( )
intvalue( $<$file_name$>$ )

where the first one creates an empty array, and the second, an array whose elements are loaded from the $<$file_name$>$ file.