main = (+ 0b012345 0FA)