batchload("/Users/macbookpro/Desktop/d_myF.txt")$

myF(x);

/* assign a value to x in the form x: */ ""$

x:3$

myF(x);