Use correct pointer type instead of integer with FFI
Remove extraneous mixin pattern