Please extend loader.l to accept these symbols - or is there a technical reason against it?