BCHConstructARMFunctionval construct_arm_assembly_function :
BCHLibTypes.doubleword_int ->
BCHLibTypes.doubleword_int list * BCHARMTypes.arm_assembly_function_intconstruct_arm_assembly_function faddr constructs assembly function fn at address faddr and returns a list of new function entry points (discovered during the construction) and fn.