Is there a print format in mojo، how can I rewrite this python in mojo: ```py def fun (arg): print(f'arg = {arg}') bar = [5, 10, 15, 20] ```