tableflip code style guidelines