fn main() {
	_ = @DEF
}