- the compiler treats especially: a) tests each function of result type Global b) makes sure they become proper constants c) does not generate a type signature for them