うちだとjfbtermってktermより重いんだけど、そんなもん?