GIMPLE, W THOMAS