// This is a reminder to take out the generated this hack in function_value_lower.krak