some basics of a builtin library/ffi