Abstractions and base code