(rontend.c) Remove FIXME