added __checked_call macros and tests