typedef int INTEGER;