satisfy -Wall