add keyword "view" for functions, to record functions that don't change contract status after execution