Fix KAT proxy variable declarations