more work on IntEx4