-- ^ Block is the beginning of a function, parameters are:
-- 1. Function header info
-- 2. The function name
-- 3. Aguments to function
-- Only the formal parameters are live
-- ^ Block is the beginning of a function, parameters are:
-- 1. Function header info
-- 2. The function name
-- 3. Aguments to function
-- Only the formal parameters are live