Spoofax/677 and Spoofax/678