Some decorations in code