Braccio and Snap4Arduino: a Snap! garbage collector