;; CONTRACT remote
FUNCTION add_five(integer):integer
 ADD a 5 arg0
 RETURN