ARC and implicit sythesize

TODO: profile slowness compared to MRC