program and fun_call definitions
fun calls