Cleaned up IRK example