Sung to the tune of ‘What shall we do with the drunken sailor?’