procedure calls working correctly up to at least 1 var param and simple monadic functions