[No comment lines]