[RFC] Bang constraint