re-define ErrorCode as INTEGER