define AIX4 symbol