void main() { } void foo() pure { }