Sean lawless compilation

Sean lawless compilation