A collection of pluggable c abstractions