function

def mul(x): return x * 2