terminate function interpreted