predefs