ACSL: Assembly Language On Demand