A cocky programming language