use standard integer constants