Property definitions

core $ NativeFile :: io_read
	fun io_read(buf: CString, len: Int): Int `{
		return fread(buf, 1, len, self);
	`}
lib/core/file.nit:1516,2--1518,3