A Functional Assembly Instruction Language