[xilinxc]: Fix