use FileCheck for better checking