add unsafe statements for xmos