Brought the same nice compilation rules here.