Improve documentation of checked_* functions
Update comment to current file path for intrinsics