let
output = output_mach