# Dumy file to run slice2cpp --impl