val steele compilation