Separate fn specs from compiler specs