recording result of running with SMACK ftn stubs replaced with real content